Ontology, coming from Knowledge Engineering, is defined as a formal specification of a conceptualization of a domain; it means a définition of concepts and their relations in a language understandable both by humans and computers.
My works on Ontology aim to reconcile epistemological and logical principles into a computational model [1], [2], [3].


OCW is based on an agent-oriented architecture written in Smalltalk, and on a dedicated language for writing ontologies by specific differentiation called LOK,  Language for Ontological Knowledge, a « à la Lisp » language.
The OK ontologies can be exported into different exchange formats like OWL and RDF.
[1] The ‘Specific-Difference’ Principle: a Methodology for Building Consensual and Coherent Ontologies. C.Roche. IC-AI’2001: Las Vegas, USA, June 25-28, 2001
[2] The Differentia Principle: a Cornerstone for Ontology. C.Roche. Knowledge Management and Philosophy; Workshop in WM 2003 Conference, Luzern, 2-4 april, 2003
[3] Aristotelian Ontologies and OWL Modeling. M. Spies, C.Roche. Handbook of Ontologies for Business Interaction, Chap. II, 2008, pp. 21-33

Articles récents