[Pellet-users] Missing inferred subsumption?
Evren Sirin
evren at clarkparsia.com
Wed Apr 16 20:24:33 UTC 2008
The inference you expect should exist and I was able to see those
inferences using two different methods. I saved three ontologies to my
computer and used the Pellet command-line program to print the class
tree and I got:
owl:Thing
domain_One:Container
outer_core_test:Coordinate = domain_One:CoordinateInfo
inner_core_test:Lat
inner_core_test:Lon
which shows Lat and Lon listed below both Coordinate and CoordinateInfo
as expected. When I try the following simple program to print all the
inferred statements:
OntModel m = ModelFactory.createOntologyModel(
PelletReasonerFactory.THE_SPEC );
m.getDocumentManager().setProcessImports( false );
m.read( "file:jpq/inner_core_test.owl" );
m.read( "file:jpq/outer_core_test.owl" );
m.read( "file:jpq/domain_one.owl" );;
for(Statement s : (Collection<Statement>)
m.listStatements().toList() )
System.out.println(s);
I got both the inferences you say missing:
[http://www.owl-ontologies.com/Inner_core_test.owl#Lat,
http://www.w3.org/2000/01/rdf-schema#subClassOf,
http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate]
[http://www.owl-ontologies.com/Inner_core_test.owl#Lon,
http://www.w3.org/2000/01/rdf-schema#subClassOf,
http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate]
So this might be a bug in the way TopBraid lists inferences or an
elusive bug in Pellet that does not always occur. Without any more
information it is hard to tell which is the case.
Cheers,
Evren
On 4/10/08 5:16 PM, JPQ wrote:
> Hello, all.
>
> I have the following three OWL documents.
>
>
> 1. Inner_core_test.owl
>
> <?xml version="1.0"?>
> <rdf:RDF
> xmlns="http://www.owl-ontologies.com/Inner_core_test.owl#"
> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
> xmlns:owl="http://www.w3.org/2002/07/owl#"
> xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
> xml:base="http://www.owl-ontologies.com/Inner_core_test.owl">
> <owl:Ontology rdf:about="">
> <owl:versionInfo
> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
> >Created with TopBraid Composer</owl:versionInfo>
> </owl:Ontology>
> <owl:Class rdf:ID="Lon"/>
> <owl:Class rdf:ID="Lat"/>
> <owl:FunctionalProperty rdf:ID="lat">
> <rdfs:range
> rdf:resource="http://www.w3.org/2001/XMLSchema#double"/
> <http://www.w3.org/2001/XMLSchema#double%22/>>
> <rdfs:domain rdf:resource="#Lat"/>
> <rdf:type
> rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/
> <http://www.w3.org/2002/07/owl#DatatypeProperty%22/>>
> </owl:FunctionalProperty>
> <owl:FunctionalProperty rdf:ID="lon">
> <rdfs:range
> rdf:resource="http://www.w3.org/2001/XMLSchema#double"/
> <http://www.w3.org/2001/XMLSchema#double%22/>>
> <rdfs:domain rdf:resource="#Lon"/>
> <rdf:type
> rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/
> <http://www.w3.org/2002/07/owl#DatatypeProperty%22/>>
> </owl:FunctionalProperty>
> </rdf:RDF>
>
>
> 2. Outer_core_test.owl
>
> <?xml version="1.0"?>
> <rdf:RDF
>
> xmlns:Inner_core_test="http://www.owl-ontologies.com/Inner_core_test.owl#"
> xmlns="http://www.owl-ontologies.com/Outer_core_test.owl#"
> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
> xmlns:owl="http://www.w3.org/2002/07/owl#"
> xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
> xml:base="http://www.owl-ontologies.com/Outer_core_test.owl">
> <owl:Ontology rdf:about="">
> <owl:imports
> rdf:resource="http://www.owl-ontologies.com/Inner_core_test.owl"/
> <http://www.owl-ontologies.com/Inner_core_test.owl%22/>>
> <owl:versionInfo
> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
> >Created with TopBraid Composer</owl:versionInfo>
> </owl:Ontology>
> <owl:Class rdf:ID="Coordinate">
> * <owl:unionOf rdf:parseType="Collection">
> <rdf:Description
> rdf:about="**http://www.owl-ontologies.com/Inner_core_test.owl#Lat"/*
> <http://www.owl-ontologies.com/Inner_core_test.owl#Lat%22/>*>
> <rdf:Description
> rdf:about="**http://www.owl-ontologies.com/Inner_core_test.owl#Lon"/*
> <http://www.owl-ontologies.com/Inner_core_test.owl#Lon%22/>*>
> </owl:unionOf>
> * <rdfs:subClassOf
> rdf:resource="http://www.w3.org/2002/07/owl#Thing"/
> <http://www.w3.org/2002/07/owl#Thing%22/>>
> </owl:Class>
> <owl:DatatypeProperty rdf:ID="altitude"/>
> </rdf:RDF>
>
>
> 3. Domain_One.owl
>
> <?xml version="1.0"?>
> <rdf:RDF
>
> xmlns:Outer_core_test="http://www.owl-ontologies.com/Outer_core_test.owl#"
> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
> xmlns:owl="http://www.w3.org/2002/07/owl#"
> xmlns="http://www.owl-ontologies.com/Domain_One.owl#"
> xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
> xml:base="http://www.owl-ontologies.com/Domain_One.owl">
> <owl:Ontology rdf:about="">
> <owl:imports
> rdf:resource="http://www.owl-ontologies.com/Outer_core_test.owl"/
> <http://www.owl-ontologies.com/Outer_core_test.owl%22/>>
> <owl:versionInfo
> rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
> >Created with TopBraid Composer</owl:versionInfo>
> </owl:Ontology>
> <owl:Class rdf:ID="CoordinateInfo">
> * <owl:unionOf rdf:parseType="Collection">
> <rdf:Description
> rdf:about="**http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate**">
> <owl:equivalentClass
> rdf:resource="**http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate"/*
> <http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate%22/>*>
> </rdf:Description>
> </owl:unionOf>
> * <rdfs:subClassOf>
> <owl:Restriction>
> <owl:allValuesFrom
> rdf:resource="http://www.w3.org/2001/XMLSchema#string"/
> <http://www.w3.org/2001/XMLSchema#string%22/>>
> <owl:onProperty>
> <owl:DatatypeProperty rdf:ID="id"/>
> </owl:onProperty>
> </owl:Restriction>
> </rdfs:subClassOf>
> <rdfs:subClassOf>
> <owl:Restriction>
> <owl:onProperty rdf:resource="#id"/>
> <owl:cardinality
> rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
> >1</owl:cardinality>
> </owl:Restriction>
> </rdfs:subClassOf>
> <rdfs:subClassOf>
> <owl:Class rdf:ID="Container"/>
> </rdfs:subClassOf>
> </owl:Class>
> </rdf:RDF>
>
>
> Outer_core_test.owl imports Inner_core_test.owl.
> Domain_One.owl imports Outer_core_test.owl.
>
> I've change the type face to bold for the "unionOf" axioms in 2 & 3.
>
> When I run Pellet (from with TopBraid Composer) on "Domain_One.owl",
> it draws the following inferences.
>
> CoordinateInfo rdfs:subClassOf
> Outer_core_test:Coordinate
> CoordinateInfo
> owl:equivalentClass Outer_core_test:Coordinate
> Outer_core_test:Coordinate rdfs:subClassOf CoordinateInfo
> Outer_core_test:Coordinate owl:equivalentClass
> CoordinateInfo
>
> However, I expected to see the following inferences as well.
>
> Inner_core_test:Lat
> rdfs:subClassOf Outer_core_test:Coordinate
> Inner_core_test:Lon rdfs:subClassOf
> Outer_core_test:Coordinate
>
> Is there a reason why these inferences do not appear? Thank you for
> your feedback.
>
>
> Regards,
>
> Anthony
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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