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-owl] NonSimpleRoleInNumberRestrictionException (was UML metamodel to Ontology)

Timothy Redmond tredmond at
Sat Jan 16 08:19:09 PST 2010

Rodolfo Rieckhof wrote:
> I realize i was not specific enough in my latest Post so: I am using 
> Protege 4, and  the exact exception looks like this.
> ReasonerException: 

This probably means exactly what it sounds like but to understand it you 
need to be familiar with one of the more technical sections of the OWL 2 
specification [1].  You have told us that you are creating a transitive 
object property.  This object property is not a simple role (by the 
definitions in [1]).   The specification then goes on to say that

> *Restriction on Simple Roles.* Each class expression and each axiom in 
> /Ax/ of type from the following two lists contains only simple object 
> properties.
>     * ObjectMinCardinality, ObjectMaxCardinality,
>       ObjectExactCardinality, and ObjectHasSelf .
>     * FunctionalObjectProperty, InverseFunctionalObjectProperty,
>       IrreflexiveObjectProperty, AsymmetricObjectProperty, and
>       DisjointObjectProperties.
In particular the asymmetric object property axiom is a problem.   
FaCT++ is telling you that it cannot reason with this ontology because 
it does not meet the specification.  Hopefully sometime soon Protege 4 
will have some support for alerting you to this situation.



> org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$
> Thanks in Advanced
> Rodo
> 2010/1/15 Rodolfo Rieckhof <rodo2024 at 
> <mailto:rodo2024 at>>
>     Hello everyone,
>     i am trying to transform the UML metamodel to an Ontology and i
>     have problems with how to define the concept of subclass.
>     Whenever i try to create an ObjectProperty: isSubClass with
>     Domain: UMLClass and Range: UMLClass and with the characteristics
>     Transitive and Asymetric, i get NonSimpleRolenNumber Exeption in
>     this property from Fact++. What does this exeception means and how
>     could i do this? is there a better way?
>     Thanks in advanced
>     Rodo
> ------------------------------------------------------------------------
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

More information about the protege-owl mailing list