Search Mailing List Archives
[protege-owl] NonSimpleRoleInNumberRestrictionException (was UML metamodel to Ontology)
tredmond at stanford.edu
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.
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 . You have told us that you are creating a transitive
object property. This object property is not a simple role (by the
definitions in ). 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
> * ObjectMinCardinality, ObjectMaxCardinality,
> ObjectExactCardinality, and ObjectHasSelf .
> * FunctionalObjectProperty, InverseFunctionalObjectProperty,
> IrreflexiveObjectProperty, AsymmetricObjectProperty, and
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.
> Thanks in Advanced
> 2010/1/15 Rodolfo Rieckhof <rodo2024 at googlemail.com
> <mailto:rodo2024 at googlemail.com>>
> 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
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl