[Pellet-users] Pellet and In Memory Models

[Lelli Nikoleta]

Hello All,
 
Does anybody know if Pellet API applied on in memory models catches inconsistencies?
 
I 've got this ontology:
 
 <rdf:RDF
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
 xmlns:unnamed="http://www.owl-ontologies.com/unnamed.owl#"
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:owl="http://www.w3.org/2002/07/owl#"
 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
 xml:base="http://www.owl-ontologies.com/unnamed.owl"
>
<owl:Class rdf:about="http://www.owl-ontologies.com/unnamed.owl#classA">
<rdfs:subClassOf rdf:resource="#classB" />
<rdfs:subClassOf rdf:resource="#classC" />
</owl:Class>
<owl:Class rdf:about="http://www.owl-ontologies.com/unnamed.owl#classB">
 <owl:disjointWith rdf:resource="#classC"/>
</owl:Class>
<owl:Class rdf:about="http://www.owl-ontologies.com/unnamed.owl#classC">
</owl:Class>
</rdf:RDF>

 
When I read my ontology from a text field, Pellet returns this;
 
Validation Results
==================
Warning (Unsatisfiable class): http://www.owl-ontologies.com/unnamed.owl#classA
 
 
But when I check my ontology using an in memory model, no incosistencies are being catched.
 
Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070323/2d9182d8/attachment.htm