This repository has been archived by the owner on Jul 1, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
Inference
niclashoyer edited this page Nov 18, 2014
·
3 revisions
| Axiom | Rule(s) |
|---|---|
| SubClassOf(C_1 C_2) | SubClassOf(C_1, C_2) |
| EquivalentClasses(C_1 ... C_n) | SubClassOf(C_1, C_2), SubClassOf(C_1, C_2), SubClassOf(C_2, C_1), ..., SubClassOf(C_{n-1}, C_n) SubClassOf(C_2, C_1), ..., SubClassOf(C_{n-1}, C_n) SubClassOf(C_n, C_{n-1}) |
| DisjointClasses(C_1 ... C_n) | |
| DisjointUnion(C C_1 ... C_n) |
| Axiom | Rule(s) |
|---|---|
| SubObjectPropertyOf(P_1 P_2) | SubPropertyOf(P_1, P_2) |
| SubObjectPropertyOf(ObjectPropertyChain(P_1 ... P_n), P) | ObjectPropertyChain(P, P_1, ..., P_n) |
| EquivalentObjectProperties(C_1 ... C_n) | SubPropertyOf(C_1, C_2), SubPropertyOf(C_2, C_1), ..., SubPropertyOf(C_{n-1}, C_n) SubPropertyOf(C_n, C_{n-1}) |
| DisjointObjectProperties(C_1 ... C_n) | |
| ObjectPropertyDomain(P C) | |
| ObjectPropertyRange(P C) | |
| InverseObjectProperties(P_1 P2) | InverseObjectProperties(P_1, P_2) |
| FunctionalObjectProperty(P) | |
| InverseFunctionalObjectProperty(P) | |
| ReflexiveObjectProperty(P) | |
| IrreflexiveObjectProperty(P) | |
| SymmetricObjectProperty(P) | InverseObjectProperties(P, P) |
| AsymmetricObjectProperty(P) | |
| TransitiveObjectProperty(P) | ObjectPropertyChain(P, P, P) |
| Axiom | Rule(s) |
|---|---|
| SubDataPropertyOf(P_1 P_2) | SubPropertyOf(P_1, P_2) |
| EquivalentDataProperties(C_1 ... C_n) | SubPropertyOf(C_1, C_2), SubPropertyOf(C_2, C_1), ..., SubPropertyOf(C_{n-1}, C_n) SubPropertyOf(C_n, C_{n-1}) |
| DisjointDataProperties(C_1 ... C_n) | |
| DataPropertyDomain(P C) | |
| DataPropertyRange(P C) | |
| InverseObjectProperties(P_1 P2) | InverseObjectProperties(P_1, P_2) |
| FunctionalDataProperty(P) |
| Axiom | Rule(s) |
|---|---|
| SameIndividual(a_1 ... a_n) | |
| DifferentIndividuals(a_1 ... a_n) | |
| ClassAssertion(C a) | |
| ObjectPropertyAssertion(P a_1 a_2) | |
| NegativeObjectPropertyAssertion(P a_1 a_2) | |
| DataPropertyAssertion(P a l) | |
| NegativeDataPropertyAssertion(P a l) |