The great table of Description Logics and formal ontology notations Background on DL semantics
Résumé
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].
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...