[Pellet-users] Protege4 & Pellet compatibility

Fri May 16 08:18:22 UTC 2008

Hi,

I've noticed recently that Pellet 1.5.2 does not swallow the RDF/OWL  
files produced by Protege 4. Although everything seems to work fine in  
P4 (build 62) for the attached ontology (which I built to test some  
other possible bug/problem I will report on later), pellet complains  
with the trace below.

I guess it has something to do with the different ways in which Pellet  
and Protege deal with OWL2 constructs (do they use a different version  
of the OWLAPI?)

-Rinke

-------------- next part --------------
A non-text attachment was scrubbed...
Name: intersection-test.owl
Type: application/octet-stream
Size: 11906 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080516/6dbd2e03/attachment.obj 
-------------- next part --------------

Input file: file:/Users/hoekstra/Projects/ontologies/thesis-studies/ 
intersection-test.owl
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7ffa @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe1 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fec @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe3 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe4 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7ff3 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe5 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe6 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7ff5 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7ff8 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fea @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
  WARN [main] (OWLLoader.java:364) - Unsupported axiom: Ignoring class  
expression used in subject position: 2b6188b8:119f0cbf5f8:-7fe0 @http://www.w3.org/2006/12/owl2#onClass 
  http://www.leibnizcenter.org/ontostore/intersection-test.owl#Dummy
OWL Species: Full
DL Expressivity: ALCF
Consistent: Yes
Time: 1975 ms (Loading: 1444 Species Validation: 139 Consistency: 151  
Classification: 54 Realization: 186 )

Classification:

  owl:Thing - (intersection-test:dummy2)
     intersection-test:Dummy - (intersection-test:dummy)
     intersection-test:Intersection_cardinality
        intersection-test:Intersection - (intersection-test:intersect)
           intersection- 
test:Intersection_multiple_cardinality_someValuesFrom
        intersection-test:Intersection_multiple_cardinality
           intersection- 
test:Intersection_multiple_cardinality_someValuesFrom
     intersection-test:MultipleEquivalences_cardinality
        intersection-test:MultipleEquivalences = intersection- 
test:MultipleEquivalences_multiple_cardinality = intersection- 
test:MultipleEquivalences_multiple_cardinality_someValuesFrom -  
(intersection-test:multiple_eq)

Non OWL-DL features used:
Multiple Types: Resource owl2:onClass  is used as an individual but  
defined as aclass
Untyped Individual: Assuming restriction(intersection-test:p1  
minCardinality(2)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p2  
minCardinality(2)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p4  
minCardinality(1)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p3  
minCardinality(2)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p3  
minCardinality(1)) is an individual
Untyped Individual: Assuming intersection-test:multiple_eq is an  
individual
Untyped Individual: Assuming restriction(intersection-test:p2  
minCardinality(1)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p4  
minCardinality(2)) is an individual
Untyped Individual: Assuming restriction(intersection-test:p1  
minCardinality(1)) is an individual
Untyped Individual: Assuming intersection-test:intersect is an  
individual
Untyped Individual: Assuming intersection-test:dummy2 is an individual
Untyped Property: Assuming owl2:onClass is an object property
Non OWL-Lite features used:
Anonymous Intersection Class: owl:intersectionOf triples cannot have  
an anonymous subject in OWL Lite
Cardinality Restriction: minCardinality value is greater than 1  
restriction(intersection-test:p1 minCardinality(2))
Cardinality Restriction: minCardinality value is greater than 1  
restriction(intersection-test:p2 minCardinality(2))
Cardinality Restriction: minCardinality value is greater than 1  
restriction(intersection-test:p3 minCardinality(2))
Cardinality Restriction: minCardinality value is greater than 1  
restriction(intersection-test:p4 minCardinality(2))

Add the following statements to make this document OWL DL
<rdf:RDF
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#" >
   <rdf:Description rdf:about="http://www.w3.org/2006/12/owl2#onClass">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty 
"/>
   </rdf:Description>
   <rdf:Description rdf:about="http://www.leibnizcenter.org/ontostore/intersection-test.owl#dummy2 
">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="http://www.leibnizcenter.org/ontostore/intersection-test.owl#intersect 
">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p3,1,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p1,1,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p1,2,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p2,1,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p4,2,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p4,1,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p2,2,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="min(http://www.leibnizcenter.org/ontostore/intersection-test.owl#p3,2,() 
)">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
   <rdf:Description rdf:about="http://www.leibnizcenter.org/ontostore/intersection-test.owl#multiple_eq 
">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
   </rdf:Description>
</rdf:RDF>

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra at uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------