Table 2.
Commonly used and infrequently used OWL/OWL 2 constructors in the corpus
| # | 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 | 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 |