Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] owl:equivalentProperty, protege 3.4, and pellet

rich hardy ontouser at
Mon Aug 4 12:06:18 PDT 2008


Example: I have a very simple owl ontology that defines two
ObjectProperties.  I can open the ontology in Protege (3.4 501), and see the
two properties in the Properties tab.  Now, if include just one
'owl:equivalentProperty' statement in the ontology, then reopen the ontology
in Protege, the two properties are no longer shown in the Properties tab.
If I now try to check the consistency using Pellet 1.5.2 (direct), the
reasoner window opens and hangs with 'Synchronizing reasoner.  Updating

Why is this happening - and is there anything I can do to fix it?  It works
fine in Protege 4, but we're using 3.4 for development.

Here is a simple ontology to illustrate the point.  If you remove the
owl:equivalentProperty line then it works fine.

<?xml version="1.0" encoding="utf-8"?>
  <owl:Ontology rdf:about="http://example.owl#">
            An example containing an equivalentProperty
  <owl:ObjectProperty rdf:about="http://example.owl#property1"/>
  <owl:ObjectProperty rdf:about="http://example.owl#property2">
    <owl:equivalentProperty rdf:resource="http://example.owl#property1"/>

Thanks in advance!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list