Ontology and Logic
The Ontology and Logic of Higher Order Multitudes
... simply logic. That it has not hitherto been standardly incorporated into logic is due to the prejudice in favor of the singular, ushered in by Frege’s treatment of ...of logic, where terms denoting ...
21
Markov Logic Network: Unify Framework for Ontology Learning
... of ontology learning process usually takes the steps of finding weight ...order logic formula. A first order logic formula can be constructing from the first order logic knowledge base using ...
6
Ontology based data access with a horn fragment of metric temporal logic
... Borgwardt, S.; Lippmann, M.; and Thost, V. 2013. Temporal query answering in the description logic DL-Lite. In Proc. of the 9th Int. Symposium on Frontiers of Combining Systems, FroCoS’13, volume 8152 of LNCS, ...
8
Developing an ontology of mathematical logic
... 'mathematical logic', which the project considers to be an umbrella term encompassing a wide variety of mathematical ...formal logic and deductive ...mathematical logic knowledge and ...
8
Language, logic and ontology: uncovering the structure of commonsense knowledge
... The puzzle Quine was referring to was the following: both translations admit the inference (∃x)(Elephant(x)) – that is, both sentences imply the existence of some elephant, although it is quite clear that such an ...
26
Temporal description logic for ontology based data access
... investigate ontology-based data ac- cess over temporal data with validity time and ontologies capable of temporal conceptual mod- ...tion logic, TQL, that extends the standard ontol- ogy language OWL 2 QL, ...
8
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
... supply ontology lan- guages and query answering technologies for ontology-based data access (OBDA), a way of querying in- complete data sources that uses ontologies to provide additional conceptual ...
20
Ontology of Love
... Man according to the Existentialist is both a being-in-the-world and a being-with-others, meaning that he is a being that is other-related fundamentally. Man then cannot exist without relating with and to other beings ...
19
The possibility of ontology
... of Logic, the term also does not appear very frequently, and when it does appear it is primarily in the adjectival form present in the term ‘ontological ...of ontology, or dogmatic philosophy in ...‘proud’ ...
264
An Efficient framework for E Learning Recommendation system using fuzzy Logic and Ontology
... various ontology matching approaches can be divide ...reference ontology, Permission to deal with realistic matching ...case ontology matching is the handling of the resulting matching imperfections ...
6
The Porifera Ontology (PORO): enhancing sponge systematics with an anatomy ontology
... PORO could be used directly as the domain model used in systems such as SPONGIA and its successors. One intriguing possibility is the encoding of the taxo- nomic classification rules of SPONGIA directly in OWL, allowing ...
8
The epidemiology ontology: an ontology for the semantic annotation of epidemiological resources
... (Web Ontology Language – Description Logic of the W3 ...Formal Ontology (BFO) as an upper-level ontol- ogy and the Information Artifact Ontology (IAO, http:// ...
7
The logic of measure in Hegel’s Science of Logic
... measure is realized belong also to different spheres of natural reality” (SL 331 / LS 369). It is important to emphasise, however, that Hegel’s conception of measure is not itself guided by his understanding of nature or ...
27
Brucellosis Ontology (IDOBRU) as an extension of the Infectious Disease Ontology
... formal logic, together with documentation and definitions ...ease Ontology (IDO) Consortium ...IDO-core ontology provides coverage of those entities relevant to infectious diseases generally, ...
18
Second order logic is logic
... the logic making ontological commitments which are outwith the business of ...than logic, because part of the system will be dedicated to the study of the hierarchy and its levels and members and so ...with ...
226
Improving ontology and precision recall using ontology model, genetic, greedy algorithm semantic similarity calculation and ontology graph
... The existing system deals with the fuzzy logic based system where automatic genetic based objects are constructed. The main drawback of this system is the accuracy of the relevant measurement is not measured. The ...
24
Logic-based assessment of the compatibility of UMLS ontology sources.
... the logic-based semantics of the ontology ...the ontology sources is taken into account, manifesting themselves as unintended logical consequences that follow from the ontol- ogy sources together ...
17
Description logic based quantifier restriction and query of an OWL ontology
... Therefore Ontology can be considered as Terminology whereby the hierarchical structure is formulated to show relationship between those concepts, whereas in DL the knowledge representation is achieved using the ...
7
The Gene Ontology (GO) Cellular Component Ontology: integration with SAO (Subcellular Anatomy Ontology) and other recent developments
... Gene Ontology Consortium and by the European Union RTD Programme ‘ Quality of Life and Management of Living Resources ’ QLRI-CT-2001-00981 and QLRI-CT-2001-00015 to GO and UniProtKB-GOA groups at ...
11
Translating Spanish Into Logic Through Logic
... American Journal of Computational Linguistics, Volume 7, Number 3, July-September 1981 151.. Veronica Dahl Translating Spanish into Logic through Logic.[r] ...
16