Ontology - Conflict of same individuals property and datatype property

Posted by blueomega on Stack Overflow See other posts from Stack Overflow or by blueomega
Published on 2010-06-10T11:02:49Z Indexed on 2010/06/10 11:32 UTC
Read the original article Hit count: 304

Filed under:

ontology

|

inference

|

protege

|

ontologies

|

pellet

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?

© Stack Overflow or respective owner

Related posts about ontology

Best approach to convert XML to RDF/XML using an ontology

as seen on Stack Overflow - Search for 'Stack Overflow'
I have an XML which uses the XPDL standard (which has an XML schema). What I'm trying to do now is to convert its content to RDF format (serialized in XML), in terms of a certain ontology. Clearly, there needs to be some sort of mapping here. I would like to do this using PHP. The thing is, I have… >>> More
Are ontology storage engines slower than RDMBS systems?

as seen on Stack Overflow - Search for 'Stack Overflow'
My intuition says that ontology engines like Triplestore or Seseme are going to be slower than a DB, but is that really the case? What is it that would make them so much slower? >>> More
Classes / instances in Ontology

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm trying to comprehend ontology basics. Here's an example: car (class) 2009 VW CC (sub-class or instance?) My neighbor's 2009 VW CC (instance) My issue is understanding what is "2009 VW CC" (as a car model). If you're making product model a sub-class in the ontology - all of a sudden your… >>> More
how to use camera ontology in ROWLEX

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi I'm mot sure if I'm doing this wrong or not I don't know if I am supposed to add other ontologies If not, what can I do to get a camera ontology working please? Thanks >>> More
Natural language processing and semantic

as seen on Stack Overflow - Search for 'Stack Overflow'
i would like know how to identify the semantic of the user input in NLP. i made a ontology make a relationship.there are 3 categories in my ontology... accommodation, culture,location.i faced some problem with this, how to redirect the user input into the specific area of the ontology? eg: input… >>> More

Related posts about inference

Explain ML type inference to a C++ programmer

as seen on Stack Overflow - Search for 'Stack Overflow'
How does ML perform the type inference in the following function definition: let add a b = a + b Is it like C++ templates where no type-checking is performed until the point of template instantiation after which if the type supports the necessary operations, the function works or else a compilation… >>> More
Haskell: type inference and function composition

as seen on Stack Overflow - Search for 'Stack Overflow'
This question was inspired by this answer to another question, indicating that you can remove every occurrence of an element from a list using a function defined as: removeall = filter . (/=) Working it out with pencil and paper from the types of filter, (/=) and (.), the function has a type of removeall… >>> More
make inference rule for files in a folder

as seen on Stack Overflow - Search for 'Stack Overflow'
I use GNU make, I want my source files and object files to be in different folders. As a first step, I want the source files at the root of my project folder, and the object files in a subfolder (say Debug/). The inference rule would be: .ss.obj: echo Assembling $*.ss... $(ASSEMBLY) $(2210_ASSEMBLY_FLAGS)… >>> More
Describe the Damas-Milner type inference in a way that a CS101 student can understand

as seen on Stack Overflow - Search for 'Stack Overflow'
Hindley-Milner is a type system that is the basis of the type systems of many well known functional programming languages. Damas-Milner is an algorithm that infers (deduces?) types in a Hindley-Milner type system. Wikipedia gives a description of the algorithm which, as far as I can tell, amounts… >>> More
Which knowledge base/rule-based inference engine to choose for real time Runway incursion prevention

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello, we are designing a project that would listen to dialog between airport controllers and pilots to prevent runway incursions (eg. one airplane is taking off while other is crossing the runway). Our professor wants us to use Jena for knowledge base (or anything else but it should be some sort… >>> More