logic and and ontology
Logic-based assessment of the compatibility of UMLS ontology sources.
... how logic-based tech- niques can be applied to audit the integration of ontology ...of ontology mapping. 3. We have proposed and implemented logic-based techniques based on these prin- ...art ...
17
Description logic based quantifier restriction and query of an OWL ontology
... description logic languages are the heart of Knowledge Representation ...(Description Logic) languages enable to formally describe the terminology with different expressive capabilities to address the needs ...
7
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
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
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
An Efficient framework for E Learning Recommendation system using fuzzy Logic and Ontology
... educational establishments because of the manufacture of web-based communication technologies and information. There are many of the recommendation system are giving recommendation for the fired query. But very little ...
6
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
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
Ontology based data access with a horn fragment of metric temporal logic
... an ontology language, assuming that ontology axioms hold at all times, and extend the query language with various temporal operators (Gutiérrez-Basulto and Klarman 2012; Baader, Borgwardt, and Lippmann ...
8
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
... In Theorem 8, we show rewritability using boundedness of recursion. This connection between first- order definability and boundedness is well known from the datalog and logic literature where boundedness has been ...
20
Ontology and the mathematization of the scientific enterprise
... of logic, axiomatization was seen as the method par excellence of mathematical theories, and the XXth century has shown that it can be useful for other areas as ...
20
Contagion and repetition: On the viral logic of network culture
... viral ontology of the consumer object? Mass replication was deemed as the key characteristic of Fordist (cultural) industry already, and now such replicator processes are increasingly supplemented with the ...
22
A multi agent approach to adaptive learning using a structured ontology classification system
... description logic (DL) language, DL notation and symbols for knowledge ...order logic formula specification of the classifier agent reasoning ...components, ontology models from the DL definition, ...
261
Ontological Paradigm for Focused Crawling based on Lexical Analysis
... Defining the Semantic Web is a complicated task. It is the next generation of the web. It is a set of languages and standards. It has a strong logic and reasoning component. Semantic search systems consider ...
5
PP 2009 28: The reception of Saint Anselm's logic in the 20th and 21st centuries
... of Ontology among traditional logicians is that it can be argued that Leśniewski’s system does not add anything to traditional mathematical ...Lesniewski’s ontology as Boolean algebra without ...to ...
21
Building a family ontology to meet consistency criteria
... Semantic Web Reasoning on Semantic Web Description Logic Rules 2.2.3.1 SWRL Rules Ontology Ontology Languages Ontology Evaluation Criteria 2.3.2.1 Consistency 2.3.2.2 Completeness Ontolo[r] ...
36
Anti foundationalism and social ontology : towards a realist sociology
... This avoids the sociological logic of immediacy, becausethe ontology of social structures does not claim to have immediate knowledge let knowledge an of specific social structures, alone[r] ...
311
Semantic Parsing using Distributional Semantics and Probabilistic Logic
... formal ontology and purely logical infer- ...on-the-fly ontology. Sentences and the on-the-fly ontology are represented in probabilistic ...probabilistic logic frameworks like Markov ...
5
Information Flow based ontology mapping
... virtual ontology logic infomorphisms embedded into.[r] ...
20
PP 2009 28: The reception of Saint Anselm's logic in the 20th and 21st centuries
... of Ontology, “Philosophers find familiar logical systems very comforting” [84, ...259]. Ontology is not one of these familiar logical ...calls Ontology “not an orthodox system” and says that it “lies ...
19