[Pellet-users] Data property restriction with a range not being realized - A bug?
Evren Sirin
evren at clarkparsia.com
Wed Jul 29 16:46:26 UTC 2009
On Mon, Jul 27, 2009 at 5:24 AM, Shahim Essaid<sielists at gmail.com> wrote:
> I just wanted to bring up this issue again to get some feedback from the
> developers. I didn't see this possible bug in the issue tracker.
Yes, this is a bug in Pellet and I created a ticket [1] for it now.
Removing the cardinality restriction on Adult does not trigger the
problem anymore (Although concepts Child and Adult may seem unrelated
internally their definitions interact causing the problem).
Cheers,
Evren
[1] http://node8.cvsdude.com/trac/clark-parsia/pellet-devel/ticket/309
>
> Shahim
>
>
>> Shahim,
>>
>> Unfortunately, I can't explain the reason for this behavior. I did
>> notice that the problem still occurs if the cardinality constraint in
>> the definition of Adult is lowered from 18 to 3, but that the problem
>> does NOT occur if it is lowered to 2.
>>
>> Turning on detailed logging (running Pellet 2.0.0rc7 from the command
>> line) and examining the logs for these two cases, I'm inclined to say
>> there may be a bug, here, but my ability to read and understand the
>> logs is minimal, at best, so I will leave that determination to the
>> experts.
>>
>> -Brandon :)
>>
>> On Fri, Jul 10, 2009 at 9:51 PM, Shahim Essaid<sielists at gmail.com <http://lists.owldl.com/mailman/listinfo/pellet-users>> wrote:
>> >/ Brandon Ibach wrote:
>> />>/ Try adding a declaration for your property:
>> />>/
>> />>/ <owl:DatatypeProperty rdf:about="#value"/>
>> />>/
>> />>/ -Brandon :)
>> />>/
>> />/ Brandon,
>> />/
>> />/ I did have that declaration. It turned out that the "Adult" class shown
>> />/ below is the problem. I am not sure why but if I remove the restriction
>> />/ from the Adult class, or just remove the whole class, then Pellet will
>> />/ recognize the individuals for "Child". What am I missing? The class
>> />/ expression for the "Adult" doesn't make sense (I wasn't sure how to
>> />/ write facet restrictions when I wrote that one) but why is it causing
>> />/ Pellet to not appropriately recognize the child (individual "ind") ?
>> />/
>> />/ The full OWL document is below and it is the one that doesn't work in my
>> />/ case.
>> />/
>> />/ Thanks,
>> />/ Shahim
>> />/
>> />/ <?xml version="1.0"?>
>> />/ <rdf:RDF
>> />/ xmlns="http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#" <http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#%22>
>> />/
>> />/ xml:base="http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl" <http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl%22>
>> />/ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#" <http://www.w3.org/2006/12/owl2-xml#%22>
>> />/ xmlns:xsd="http://www.w3.org/2001/XMLSchema#" <http://www.w3.org/2001/XMLSchema#%22>
>> />/
>> />/ xmlns:Ontology1247260426515="http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#" <http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#%22>
>> />/ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" <http://www.w3.org/2000/01/rdf-schema#%22>
>> />/ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" <http://www.w3.org/1999/02/22-rdf-syntax-ns#%22>
>> />/ xmlns:owl="http://www.w3.org/2002/07/owl#" <http://www.w3.org/2002/07/owl#%22>>
>> />/ <owl:Ontology rdf:about=""/>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ //
>> />/ // Data properties
>> />/ //
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ -->
>> />/
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#value
>> />/ -->
>> />/
>> />/ <owl:DatatypeProperty rdf:about="#value">
>> />/ <rdfs:range
>> />/ rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/ <http://www.w3.org/2001/XMLSchema#integer%22/>>
>> />/ </owl:DatatypeProperty>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ //
>> />/ // Classes
>> />/ //
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ -->
>> />/
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#Adult
>> />/ -->
>> />/
>> />/ <owl:Class rdf:about="#Adult">
>> />/ <owl:equivalentClass>
>> />/ <owl:Restriction>
>> />/ <owl:onProperty rdf:resource="#value"/>
>> />/ <owl:minCardinality
>> />/ rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" <http://www.w3.org/2001/XMLSchema#nonNegativeInteger%22>>18</owl:minCardinality>
>> />/ </owl:Restriction>
>> />/ </owl:equivalentClass>
>> />/ </owl:Class>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#Child
>> />/ -->
>> />/
>> />/ <owl:Class rdf:about="#Child">
>> />/ <owl:equivalentClass>
>> />/ <owl:Restriction>
>> />/ <owl:onProperty rdf:resource="#value"/>
>> />/ <owl:someValuesFrom>
>> />/ <rdf:Description>
>> />/ <rdf:type
>> />/ rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/ <http://www.w3.org/2000/01/rdf-schema#Datatype%22/>>
>> />/ <owl:onDatatype
>> />/ rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/ <http://www.w3.org/2001/XMLSchema#integer%22/>>
>> />/ <owl:withRestrictions rdf:parseType="Collection">
>> />/ <rdf:Description>
>> />/ <xsd:maxExclusive
>> />/ rdf:datatype="http://www.w3.org/2001/XMLSchema#integer" <http://www.w3.org/2001/XMLSchema#integer%22>>18</xsd:maxExclusive>
>> />/ </rdf:Description>
>> />/ </owl:withRestrictions>
>> />/ </rdf:Description>
>> />/ </owl:someValuesFrom>
>> />/ </owl:Restriction>
>> />/ </owl:equivalentClass>
>> />/ </owl:Class>
>> />/
>> />/
>> />/
>> />/ <!-- http://www.w3.org/2002/07/owl#Thing -->
>> />/
>> />/ <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/ <http://www.w3.org/2002/07/owl#Thing%22/>>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ //
>> />/ // Individuals
>> />/ //
>> />/
>> />/ ///////////////////////////////////////////////////////////////////////////////////////
>> />/ -->
>> />/
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#adult
>> />/ -->
>> />/
>> />/ <owl:Thing rdf:about="#adult">
>> />/ <rdf:type rdf:resource="#Adult"/>
>> />/ </owl:Thing>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#child
>> />/ -->
>> />/
>> />/ <Child rdf:about="#child">
>> />/ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/ <http://www.w3.org/2002/07/owl#Thing%22/>>
>> />/ </Child>
>> />/
>> />/
>> />/
>> />/ <!--
>> />/ http://www.semanticweb.org/ontologies/2009/6/Ontology1247260426515.owl#ind
>> />/ -->
>> />/
>> />/ <owl:Thing rdf:about="#ind">
>> />/ <value
>> />/ rdf:datatype="http://www.w3.org/2001/XMLSchema#integer" <http://www.w3.org/2001/XMLSchema#integer%22>>17</value>
>> />/ </owl:Thing>
>> />/ </rdf:RDF>
>> />/
>> />/
>> />/
>> />/
>> />/
>> />/
>> />>/ On Fri, Jul 10, 2009 at 6:20 PM, Shahim Essaid<sielists at gmail.com <http://lists.owldl.com/mailman/listinfo/pellet-users>> wrote:
>> />>/
>> />>>/ Hello,
>> />>>/
>> />>>/ I have the following individual and class expression but the Protege 4
>> />>>/ release (build 113) with Pellet 0.9.3 is not realizing that the
>> />>>/ individual as an instance of the class. FaCT++ is working in this case
>> />>>/ 1.3. Is this reasoning supported in Pellet at this time?
>> />>>/
>> />>>/ Thanks,
>> />>>/ Shahim Essaid
>> />>>/
>> />>>/
>> />>>/ <owl:Thing rdf:about="#ind">
>> />>>/ <value
>> />>>/ rdf:datatype="http://www.w3.org/2001/XMLSchema#integer" <http://www.w3.org/2001/XMLSchema#integer%22>>17</value>
>> />>>/ </owl:Thing>
>> />>>/
>> />>>/
>> />>>/ <owl:Class rdf:about="#Child">
>> />>>/ <owl:equivalentClass>
>> />>>/ <owl:Restriction>
>> />>>/ <owl:onProperty rdf:resource="#value"/>
>> />>>/ <owl:someValuesFrom>
>> />>>/ <rdf:Description>
>> />>>/ <rdf:type
>> />>>/ rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/ <http://www.w3.org/2000/01/rdf-schema#Datatype%22/>>
>> />>>/ <owl:onDatatype
>> />>>/ rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/ <http://www.w3.org/2001/XMLSchema#integer%22/>>
>> />>>/ <owl:withRestrictions rdf:parseType="Collection">
>> />>>/ <rdf:Description>
>> />>>/ <xsd:maxExclusive
>> />>>/ rdf:datatype="http://www.w3.org/2001/XMLSchema#integer" <http://www.w3.org/2001/XMLSchema#integer%22>>18</xsd:maxExclusive>
>> />>>/
>> />>>/ </rdf:Description>
>> />>>/ </owl:withRestrictions>
>> />>>/ </rdf:Description>
>> />>>/ </owl:someValuesFrom>
>> />>>/ </owl:Restriction>
>> />>>/ </owl:equivalentClass>
>> />>>/ </owl:Class>
>> />>>/ _______________________________________________
>> />>>/ Pellet-users mailing list
>> />>>/ Pellet-users at lists.owldl.com <http://lists.owldl.com/mailman/listinfo/pellet-users>
>> />>>/ http://lists.owldl.com/mailman/listinfo/pellet-users
>> />>>/ _______________________________________________
>> />>>/
>> />>>/ Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>> />>>/
>> />>>/
>> />>/ _______________________________________________
>> />>/ Pellet-users mailing list
>> />>/ Pellet-users at lists.owldl.com <http://lists.owldl.com/mailman/listinfo/pellet-users>
>> />>/ http://lists.owldl.com/mailman/listinfo/pellet-users
>> />>/ _______________________________________________
>> />>/
>> />>/ Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>> />>/
>> />/
>> />/ _______________________________________________
>> />/ Pellet-users mailing list
>> />/ Pellet-users at lists.owldl.com <http://lists.owldl.com/mailman/listinfo/pellet-users>
>> />/ http://lists.owldl.com/mailman/listinfo/pellet-users
>> />/ _______________________________________________
>> />/
>> />/ Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>> />/
>> /
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>
More information about the Pellet-users
mailing list