Academia.eduAcademia.edu

Figure 4 – uploaded by Alan Ruttenberg

See full PDFdownloadDownload figure
Table 5. The Semantics of Axioms about Properties

Table 5 The Semantics of Axioms about Properties

Related Figures (23)

Table 2. Syntactic Restrictions on Class Expressions in OWL 2 RL
Table 2. Syntactic Restrictions on Class Expressions in OWL 2 RL
There are three types of class expressions in OWL 2 RL. The subClassExpressior oroduction defines the class expressions that can occur as subclass expressions ir SubClassOf axioms; the superClassExpression production defines the class 2xpressions that can occur as superclass expressions in SubClassOf axioms; and he equivClassExpressions production defines the classes that can occur in EquivalentClasses axioms.
There are three types of class expressions in OWL 2 RL. The subClassExpressior oroduction defines the class expressions that can occur as subclass expressions ir SubClassOf axioms; the superClassExpression production defines the class 2xpressions that can occur as superclass expressions in SubClassOf axioms; and he equivClassExpressions production defines the classes that can occur in EquivalentClasses axioms.
4.2.4 Data Ranges A data range expression is restricted in OWL 2 RL to the predefined datatypes admitted in OWL 2 RL and the intersection of data ranges.
4.2.4 Data Ranges A data range expression is restricted in OWL 2 RL to the predefined datatypes admitted in OWL 2 RL and the intersection of data ranges.
Table 4. The Semantics of Equality
Table 4. The Semantics of Equality
Table 6 specifies the semantic conditions on classes.
Table 6 specifies the semantic conditions on classes.
Table 6. The Semantics of Classes
Table 6. The Semantics of Classes
Table 7 specifies the semantic conditions on class axioms.
Table 7 specifies the semantic conditions on class axioms.
Table 8 specifies the semantics of datatypes.
Table 8 specifies the semantics of datatypes.
Table 8. The Semantics of Datatypes
Table 8. The Semantics of Datatypes
Table 9. The Semantics of Schema Vocabulary
Table 9. The Semantics of Schema Vocabulary
In order to avoid potential performance problems in practice, OWL 2 RL/RDF rules do not include the axiomatic triples of RDF and RDFS (i.e., those triples that must be satisfied by, respectively, every RDF and RDFS interpretation) [RDF Semantics] and the relevant OWL vocabulary [OWL 2 RDF-Based Semantics]; moreover, OWL 2 RL/RDF rules include most, but not all of the entailment rules of RDFS [RDF Semantics]. An OWL 2 RL/RDF implementation may include these triples and entailment rules as necessary without invalidating the conformance requirements for OWL 2 RL [Conformance].
In order to avoid potential performance problems in practice, OWL 2 RL/RDF rules do not include the axiomatic triples of RDF and RDFS (i.e., those triples that must be satisfied by, respectively, every RDF and RDFS interpretation) [RDF Semantics] and the relevant OWL vocabulary [OWL 2 RDF-Based Semantics]; moreover, OWL 2 RL/RDF rules include most, but not all of the entailment rules of RDFS [RDF Semantics]. An OWL 2 RL/RDF implementation may include these triples and entailment rules as necessary without invalidating the conformance requirements for OWL 2 RL [Conformance].
Table 10. Complexity of the Profiles
Table 10. Complexity of the Profiles
580 California St., Suite 400
San Francisco, CA, 94104
© 2025 Academia. All rights reserved