This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| public:05-semantics:01-kinds-of-semantics:08-owl-semantics [2026/09/12 21:20] – ↷ Page moved from dido:05-semantics:01-kinds-of-semantics:08-owl-semantics to public:05-semantics:01-kinds-of-semantics:08-owl-semantics nick_dido | public:05-semantics:01-kinds-of-semantics:08-owl-semantics [2026/09/12 21:20] (current) – ↷ Links adapted because of a move operation nick_dido |
|---|
| OWL, the Web Ontology Language, provides an [[public: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, the Web Ontology Language, provides an [[public: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 [[public: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 [[public: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 semantics also differs from [[public: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. |