From: OWL 2 learn profile: an ontology sublanguage for the learning domain
# | OWL 2 Constructor/s | DL Syntax | DL Example | n | f | sum |
---|---|---|---|---|---|---|
Commonly used OWL 2 constructors | ||||||
1 | Class(C) | A, C, D | CS_Student | 14 | 12.27 | 754 |
2 | SubClassOf(C1 C2) | C ⊑ D | CS_Student ⊑ Student | 14 | 12.41 | 763 |
3 | ObjectProperty(P) | P | advisorOf | 12 | 10.85 | 667 |
4 | DisjointClasses(C1 C2) DisjointClasses(C1 Cn) | C1⊔…⊔Cn | AI_Student ⊔ HCI_Student | 9 | 8.85 | 544 |
5 | rdfs:DataType(), DataProperty(D), DataTypeProperty() | D | hasTenure Boolean, NonNegativeInteger | 9 | 16.79 | 1032 |
6 | SubObjectPropertyOf(P1 P2), SubPropertyOf(P1 P2) | H—Role hierarchy | doctoralDegreeFrom ⊑ degreeFrom | 8 | 5.60 | 344 |
Infrequently used OWL 2 constructors | ||||||
7 | SomeValuesFrom(P C), ObjectSomeValuesFrom(P C) | ∃P.C | ∃hasAdvisor.PhDStudent | 7 | 1.59 | 98 |
8 | AllValuesFrom(P C), ObjectAllValuesFrom(P C) | ∀P.C | ∀takesCourse.CS_Course | 6 | 1.40 | 86 |
9 | owl:Thing | \(\top\) | Class: Thing | 7 | 1.09 | 56 |
10 | ObjectIntersectionOf(C1…Cn), IntersectionOf(C1…Cn) | C1⊓…⊓Cn | CS_Department ⊓ hasResearchArea.AI | 6 | 1.27 | 78 |
11 | MaxCardinality(n R D), MinCardinality(n R D), ExactCardinality(n R D) | (≥ nR) (≤ nR) | ≥3 takesCourse.CS_Course ≤ 1 takesCourse.CS_Course | 6 | 1.16 | 71 |
12 | EquivalentClass(C1…Cn), EquivalentClasses(C1…Cn) | C1 ≡ C2 | AI_Academic ≡ CS_Department ⊓ hasResearchArea.AI | 6 | 0.86 | 53 |
13 | ObjectUnionOf(C1…Cn), UnionOf(C1…Cn) | C1⊔…⊔Cn | owl_SemanticLink ⊔ oc_SemanticLink | 6 | 0.57 | 35 |
14 | InverseObjectProperties(P1 P2), InverseOf(PN) | P− | advisorOf − ≡ hasAdvisor | 8 | 0.46 | 28 |
15 | ObjectHasValue(P a), DataHasValue(R v), hasValue(), ObjectOneOf(a1…an), oneOf | ∃R. {x}, {x1, …, xn} | ∃hasResearchArea. {AI}, {A26, A27} | 4 | 0.23 | 14 |
16 | TransitiveObjectProperty | P transitive role | SubOrganisation of is a transitive role | 4 | 0.18 | 10 |