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... ).
asked 30 May '11, 07:14
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:
The subset sometimes known as “RDFS++” adds:
Also quite popular are:
answered 30 May '11, 11:08