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 30 May '11, 07:14

kamlhmaz's gravatar image

kamlhmaz
38916
accept rate: 0%


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)
link

answered 30 May '11, 11:08

cygri's gravatar image

cygri ♦
9.0k412
accept rate: 34%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "Title")
  • image?![alt text](/path/img.jpg "Title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Tags:

×654
×13

Asked: 30 May '11, 07:14

Seen: 1,830 times

Last updated: 09 Nov '12, 04:24