Search results
Results from the WOW.Com Content Network
Jerzy Perzanowski (April 23, 1943 in Aix-les-Bains – May 17, 2009 in Bydgoszcz), was a Polish logician and ontologist, Professor of Logic to the University of ToruĊ (Poland) from 1992 to 2004. Founder of the Polish review Logic and Logical Philosophy , his main contributions are to the development of modal logic , paraconsistent logic and ...
In addition, FAO provides web services of geopolitical ontology and a module maker to download modules of the geopolitical ontology into different formats (RDF, XML, and EXCEL). See more information at FAO Country Profiles. GAO (General Automotive Ontology) – an ontology for the automotive industry that includes 'car' extensions [51]
A further example, the description logic is the logic plus extended cardinality restrictions, and transitive and inverse roles. The naming conventions aren't purely systematic so that the logic A L C O I N {\displaystyle {\mathcal {ALCOIN}}} might be referred to as A L C N I O {\displaystyle {\mathcal {ALCNIO}}} and other abbreviations are also ...
a Description Logic (DL) that is designated by the World Wide Web Consortium [11] as a successor of OWL 2; The TLO shall further be made available via a Common Logic (CL) axiomatization conforming to ISO/IEC 24707. The ontology documentation specified above shall be made publicly available and consist of:
Download as PDF; Printable version; ... Ontology is the philosophical study of being. ... (1770–1831) linked ontology and logic.
The Unified Foundational Ontology (UFO). [ 1 ] [ 2 ] is an ontological framework developed in the early 2000s with the objective of providing foundational support for conceptual modeling. It synthesizes elements from formal ontology , cognitive science , linguistics , and philosophical logic to inform the structure and semantics of conceptual ...
Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates. KL-ONE; RACER; OWL. Gellish is an example of a combined ontology language and ontology that is description logic based. It distinguishes between the semantic differences among others of:
Download as PDF; Printable version; In other projects ... Philosophy of logic is the area of philosophy that ... A central issue in regard to ontology concerns the ...