Hi, Axioms play an important role to describe the relationships among the concepts of an ontology. Hence, axioms can be written in different ways depending the relation that exist between the concepts. But wanted to know what are most known and most used 'axiom patterns'? Pattens as for example: (Symmetric case for two concepts .., transitive case, negation case ...etc... ). Regards,
asked
kamlhmaz |

I don't have numbers about the most used axioms. But one way of answering this is by looking at the axioms that are most widely supported in the simpler (and hence more popular) subsets of OWL. The following are already supported in RDF Schema, and hence very common: - Domain
- Range
- Superclass
- Superproperty
The subset sometimes known as “RDFS++” adds: - sameAs
- inverseOf
- transitive properties
Also quite popular are: - inverse functional properties (through their important role in FOAF)
- equivalentClass/equivalentProperty (because they are so useful for vocabulary mapping)
answered
cygri ♦ |