[protege-discussion] help with the datatype resoner of pellet

[Timothy Redmond]

Your ontology should lead to the conclusion that the ID property is 
incoherent.   No individual can have a ID-property value because the the 
value would have to be both a string and a non-negative integer.  I have 
attached the desired ontology and the expected inference.

Curiously I don't see this inference when I use either FaCT++ or 
Pellet.  I only see it with HermiT.  At a first guess I think that 
HermiT is right and Pellet and FaCT++ are wrong.  If you add an 
individual and give it a ID-data property assertion then the ontology 
becomes inconsistent with all three reasoners.

Also Protege doesn't show the property in red and I will have to 
investigate that.

-Timothy


On 03/19/2012 02:39 AM, shobana priya wrote:
>
> Hello sir/madam,
>
>             i should show the demo for various inconsistencies in OWL. 
> I detected the inconsistency due to transitive property (which will 
> find the cyclic inheritace). Now i need to find the datatype 
> inconsistency. I did this using the concept of datatype inconsistecy 
> is said to be there when the  intersection of datatype results in 
> empty set. My OWL code for datatype reasoning is
>
>
> <owl:Class rdf:about = '#Class1'/>
>
> <owl:Class rdf:about = '#Class2'>
>
> <rdfs:subClassOf rdf:resource = '#Class1'/>
>
> </owl:Class>
>
> <owl:DatatypeProperty rdf:about = '#ID'>
>
> <rdfs:domain rdf:resource = '#Class1'/>
>
> <rdfs:range rdf:resource = 
> 'http://www.w3.org/2001/XMLSchema#nonNegativeInteger'/ 
> <http://www.w3.org/2001/XMLSchema#nonNegativeInteger%27/>>
>
> </owl:DatatypeProperty>
>
> <owl:DatatypeProperty rdf:about = '#ID'>
>
> <rdfs:domain rdf:resource = '#Class2'/>
>
> <rdfs:range rdf:resource = 'http://www.w3.org/2001/XMLSchema#string'/ 
> <http://www.w3.org/2001/XMLSchema#string%27/>>
>
> </owl:DatatypeProperty>
>
> But on reasoning with protege 3.4.7 , pellet 1.5.2 and  protege 4.0, 
> pellet 2.1 this shows only consistent
>
> please help me in where i am going wrong and explain me in detail 
> about the inconsistecy found by datatype reasoner with an sample OWL 
> example...
>
> Its really very urgent, i have to show demo tomorrow... please help 
> me....... thanks in advance...
>
>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20120319/820527f1/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: IncoherentProperty.png
Type: image/png
Size: 25140 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20120319/820527f1/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: IncoherentProperty.owl
Type: application/rdf+xml
Size: 2492 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20120319/820527f1/attachment-0001.owl>