Addendum: I used the OWL_DL_MEM_RULE_INF OntModelSpec, whereby using a stronger one yields the same result (though producing different output).
On Sun, 08 Nov 2015 20:04:52 +0100 UTC, Philipp <[email protected]> wrote: > Hi, > > > I found out that I have to use OntModel instead of InfModel. However, the > problem is still the same: ontology with unmet restrictions successfully > validated and even name clashes provoke just a warning. Isn't my assumption > correct that this should rather fail (open world assumption shouldn't be a > matter in my example)? > The imported ontology is now retrieved and checked, though. :) > > Here's the output of the updated program: > > DEBUG - Adding rule [ (?a rdfs:isDefinedBy ?b) -> (?a rdfs:seeAlso ?b) ] > DEBUG - Adding rule [ (?x rdf:rest ?y) -> (?y rdf:type rdf:List) ] > DEBUG - Adding rule [ (?x rdfs:label ?y) -> (?y rdf:type rdfs:Literal) ] > DEBUG - Adding rule [ (?x rdfs:comment ?y) -> (?y rdf:type rdfs:Literal) ] > DEBUG - Adding rule [ (?x rdfs:range ?y) -> (?y rdf:type rdfs:Class) ] > DEBUG - Adding rule [ (?x rdfs:domain ?y) -> (?y rdf:type rdfs:Class) ] > DEBUG - Adding rule [ (?x rdfs:subClassOf ?y) -> (?y rdf:type rdfs:Class) ] > DEBUG - Adding rule [ (?x rdfs:subPropertyOf ?y) -> (?y rdf:type > rdf:Property) ] > DEBUG - Adding rule [ (?x rdf:rest ?y) -> (?x rdf:type rdf:List) ] > DEBUG - Adding rule [ (?x rdf:first ?y) -> (?x rdf:type rdf:List) ] > DEBUG - Adding rule [ (?x rdf:object ?y) -> (?x rdf:type rdf:Statement) ] > DEBUG - Adding rule [ (?x rdf:predicate ?y) -> (?x rdf:type rdf:Statement) ] > DEBUG - Adding rule [ (?x rdf:subject ?y) -> (?x rdf:type rdf:Statement) ] > DEBUG - Adding rule [ (?x rdfs:range ?y) -> (?x rdf:type rdf:Property) ] > DEBUG - Adding rule [ (?x rdfs:domain ?y) -> (?x rdf:type rdf:Property) ] > DEBUG - Adding rule [ (?x rdfs:subClassOf ?y) -> (?x rdf:type rdfs:Class) ] > DEBUG - Adding rule [ (?x rdfs:subPropertyOf ?y) -> (?x rdf:type > rdf:Property) ] > DEBUG - Adding rule [ (?x rdf:type ?y) -> (?y rdf:type rdfs:Class) ] > DEBUG - Add location: LocatorFile > DEBUG - Add location: ClassLoaderLocator > DEBUG - Failed to find configuration: > file:location-mapping.rdf;file:location-mapping.n3;file:location-mapping.ttl;file:etc/location-mapping.rdf;file:etc/location-mapping.n3;file:etc/location-mapping.ttl > DEBUG - Add location: LocatorFile > DEBUG - Add location: LocatorURL > DEBUG - Add location: ClassLoaderLocator > DEBUG - Add location: LocatorFile > DEBUG - Add location: LocatorURL > DEBUG - Add location: ClassLoaderLocator > DEBUG - Found: file:etc/ont-policy.rdf (ClassLoaderLocator) > DEBUG - Not mapped: file:///home/phil/test.xml > DEBUG - > readModel(model,http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl) > DEBUG - > readModel(model,http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl, > null) > DEBUG - Not mapped: > http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl > ========================================================================================= > DEBUG - Adding rule [ (?a rdfs:isDefinedBy ?b) -> (?a rdfs:seeAlso ?b) ] > DEBUG - Adding rule [ (?x http://example.com/myontology#theProperty ?y) -> > (?y rdf:type http://example.com/myontology#TheClass) ] > DEBUG - Adding rule [ (?x http://example.com/myontology#theProperty ?y) -> > (?x rdf:type http://example.com/myontology#TheClass) ] > Is valid: true > > > Philipp >
