| Both sides previous revision Previous revision Next revision | Previous revision |
| dido:05-semantics:01-kinds-of-semantics:08-owl-semantics [2026/07/08 03:02] – ↷ Links adapted because of a move operation nick_dido | dido:05-semantics:01-kinds-of-semantics:08-owl-semantics [2026/07/18 12:33] (current) – external edit 127.0.0.1 |
|---|
| ====== OWL Semantics ====== | ====== OWL Semantics ====== |
| |
| [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] | [[dido:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] |
| |
| ===== Discussion ===== | ===== Discussion ===== |
| |
| OWL semantics defines meaning through [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:o:owl|OWL]] ontology constructs, axioms, class expressions, property expressions, individuals, assertions, and formally defined inference rules. | OWL semantics defines meaning through [[dido:99_annexes:annex-b-terms-and-definitions:o:owl|OWL]] ontology constructs, axioms, class expressions, property expressions, individuals, assertions, and formally defined inference rules. |
| |
| OWL, the Web Ontology Language, provides an [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:o:ontology_language|ontology language]] for the Semantic Web. OWL semantics gives formal meaning to OWL expressions, enabling software tools and reasoners to interpret OWL ontologies consistently. | OWL, the Web Ontology Language, provides an [[dido:99_annexes:annex-b-terms-and-definitions:o:ontology_language|ontology language]] for the Semantic Web. OWL semantics gives formal meaning to OWL expressions, enabling software tools and reasoners to interpret OWL ontologies consistently. |
| |
| OWL semantics differs from [[dido:05-semantics:01-kinds-of-semantics:07-ontological-semantics]]. Ontological semantics concerns the domain commitments expressed by an ontology. OWL semantics concerns the formal interpretation of OWL content. | OWL semantics differs from [[dido:05-semantics:01-kinds-of-semantics:07-ontological-semantics]]. Ontological semantics concerns the domain commitments expressed by an ontology. OWL semantics concerns the formal interpretation of OWL content. |
| |
| OWL semantics also differs from [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:s:semantic|semantics]] as a whole. OWL expresses selected ontology content using a formal ontology language. Semantics includes additional forms of meaning expressed through terminology, vocabularies, schemas, reports, type systems, rules, policies, lifecycle models, implementation artefacts, and conformance tests. | OWL semantics also differs from [[dido:99_annexes:annex-b-terms-and-definitions:s:semantic|semantics]] as a whole. OWL expresses selected ontology content using a formal ontology language. Semantics includes additional forms of meaning expressed through terminology, vocabularies, schemas, reports, type systems, rules, policies, lifecycle models, implementation artifacts, and conformance tests. |
| |
| OWL semantic content includes: | OWL semantic content includes: |
| * Reasoner-derived classifications | * Reasoner-derived classifications |
| |
| A governed architecture preserves [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:t:traceability|traceability]] from OWL semantics to the [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:o:ontology|ontology]], [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:c:conceptual_model|conceptual model]], vocabulary, rule set, schema, report, or other semantic source that establishes the intended domain meaning. | A governed architecture preserves [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|traceability]] from OWL semantics to the [[dido:99_annexes:annex-b-terms-and-definitions:o:ontology|ontology]], [[dido:99_annexes:annex-b-terms-and-definitions:c:conceptual_model|conceptual model]], vocabulary, rule set, schema, report, or other semantic source that establishes the intended domain meaning. |
| |
| ===== Definition ===== | ===== Definition ===== |
| ===== Source ===== | ===== Source ===== |
| |
| DIDO Solutions usage is informed by W3C Web Ontology Language (OWL), OWL semantics, ontology engineering practice, semantic modelling practice, and model-driven architecture principles. | DIDO Solutions usage is informed by W3C Web Ontology Language (OWL), OWL semantics, ontology engineering practice, semantic modeling practice, and model-driven architecture principles. |
| |
| ===== Note ===== | ===== Note ===== |