Axiom patterns

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,

patterns ontology

asked 30 May '11, 07:14

kamlhmaz
389●6
accept rate: 0%

One Answer:

oldest newest most voted

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 ♦
8.8k●4●12
accept rate: 34%

Your answer

toggle preview

community wiki

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

learn more about Markdown

Tags:

ontology ×491
patterns ×12

Asked: 30 May '11, 07:14

Seen: 1,310 times

Last updated: 09 Nov '12, 04:24

Axiom patterns

Follow this question

Upcoming Events

Related questions