Warning:
This wiki has been archived and is now read-only.
TestCase:WebOnt-description-logic-104
From OWL
Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-104. For more tests, please go to the OWL 2 test case collection site.
OWL EL Report (Informative)
Ontology violates the OWL EL constraints in at least the following:
- The following axiom is not allowed: SubClassOf(c1 ComplementOf(d1))
- due to class description ComplementOf(d1)
- The following axiom is not allowed: SubClassOf(c ComplementOf(d))
- due to class description ComplementOf(d)
OWL QL Report (Informative)
Ontology satisfies the constraints of OWL QL.
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: SubClassOf(c ComplementOf(d))
- due to class description ComplementOf(d)
- The following axiom is not allowed: SubClassOf(c1 ComplementOf(d1))
- due to class description ComplementOf(d1)