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
