The great table of Description Logics and formal ontology notations Background on DL semantics

Jean-Baptiste Lamy (1)

1 LIMICS - Laboratoire d'Informatique Médicale et Ingénierie des Connaissances en e-Santé

Description Logics (DL) are the logics used to formalize ontology [1]. Many notations are used to express DL, e.g. in equations in scientific papers, in editor software like Protégé, or in programming languages. Moreover, the semantics of DL is usually expressed in first-order logics or as set formula. These notations are difficult to understand and to translate from one to another. This is why I propose here a big table (next page) that compares 5 notations related to DL and formal ontologies: 1. DL syntax (as commonly used in equations and scientific papers) 2. Protégé editor (expression editor syntax) 3. Owlready2 (a package for ontology-oriented programming in Python [2, 3]) 4. Semantics in first-order logic 5. Semantics in set formula This table is an augmented and improved version of the one I presented in [2] and in my habilitation thesis [4].

Domaines: Intelligence artificielle [cs.AI]; Web

Jean-Baptiste Lamy. The great table of Description Logics and formal ontology notations Background on DL semantics. [Technical Report] LIMICS. 2018. ⟨hal-01849822⟩