views:

54

answers:

0

I am having a problem with "same individuals property" in protege, when i run a reasoner (pellet 1.5 or fact++)

Lets take ontology example

thing has class sons A and B, A has sons C and D.

B, C and D have individuals of the same class.

Cant i say a individual C is "same individual" as individual B, and then add also individual D is "same individual" as individual B. Wich is true, they have diferent names, but they are same individual..

Why does it only work when i set individual B has "same individual" of type C or D?

The protege error is "InconsistentOntologyException:Fact++.Kernel: inconsistent Ontology" and pellet says ontology is inconsistent.

EDIT: Seems its a more deep rooted problem, this example works :(, gonna keep checking.

EDIT2: After some more experimenting, seems its a conflict with DataType properties. They all share a DataType properties with same name. In the example domain of property would be A and range string. Any idea how to solve?

Solved: Since the datatype provided only a description, i moved the description to a field rdf:label