dido:public:ra:xapend:xapend.b_stds:tech:w3c:owl2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
dido:public:ra:xapend:xapend.b_stds:tech:w3c:owl2 [2020/11/13 02:15] nick ↷ Page moved from dido:public:ra:xapend.stds:tech:w3c:owl2 to dido:public:ra:xapend:xapend.stds:tech:w3c:owl2 |
dido:public:ra:xapend:xapend.b_stds:tech:w3c:owl2 [2021/10/29 17:28] (current) nick |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== W3C: OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax (second Edition) ===== | ===== W3C: OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax (second Edition) ===== | ||
| - | [[dido:public:ra:xapend.stds:tech:w3c| return to the W3C Standards ]] | + | [[dido:public:ra:xapend:xapend.b_stds:tech:w3c:start| return to the W3C Standards ]] |
| <table> | <table> | ||
| - | <caption>Data sheet for OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax (second Edition)</caption> | + | <caption>Data sheet for OWL 2 Web Ontology Language - Structural Specification and Functional-Style [[dido:public:ra:xapend:xapend.a_glossary:s:syntax|Syntax]] (second Edition)</caption> |
| | Title | OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax (second Edition) | | | Title | OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax (second Edition) | | ||
| | Acronym | OWL 2 | | | Acronym | OWL 2 | | ||
| Line 16: | Line 16: | ||
| | | ||
| ==== Abstract ==== | ==== Abstract ==== | ||
| - | ://The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.// | + | ://The OWL 2 Web Ontology Language, informally OWL 2, is an [[dido:public:ra:xapend:xapend.a_glossary:o:ontology|ontology]] language for the [[dido:public:ra:xapend:xapend.a_glossary:s:semantic_web|Semantic Web]] with formally defined meaning. OWL 2 ontologies provide [[dido:public:ra:xapend:xapend.a_glossary:c:class|classes]], properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.// |
| ://The meaningful constructs provided by OWL 2 are defined in terms of their structure. As well, a functional-style syntax is defined for these constructs, with examples and informal descriptions. One can reason with OWL 2 ontologies under either the RDF-Based Semantics [OWL 2 RDF-Based Semantics] or the Direct Semantics [OWL 2 Direct Semantics]. If certain restrictions on OWL 2 ontologies are satisfied and the ontology is in OWL 2 DL, reasoning under the Direct Semantics can be implemented using techniques well known in the literature.// | ://The meaningful constructs provided by OWL 2 are defined in terms of their structure. As well, a functional-style syntax is defined for these constructs, with examples and informal descriptions. One can reason with OWL 2 ontologies under either the RDF-Based Semantics [OWL 2 RDF-Based Semantics] or the Direct Semantics [OWL 2 Direct Semantics]. If certain restrictions on OWL 2 ontologies are satisfied and the ontology is in OWL 2 DL, reasoning under the Direct Semantics can be implemented using techniques well known in the literature.// | ||
| | | ||
| ==== Introduction ==== | ==== Introduction ==== | ||
| - | ://This document defines the OWL 2 language. The core part of this specification — called the structural specification — is independent of the concrete exchange syntaxes for OWL 2 ontologies. The structural specification describes the conceptual structure of OWL 2 ontologies and thus provides a normative abstract representation for all (normative and nonnormative) syntaxes of OWL 2. This allows for a clear separation of the essential features of the language from issues related to any particular syntax. Furthermore, such a structural specification of OWL 2 provides the foundation for the implementation of OWL 2 tools such as APIs and reasoners. Each OWL 2 ontology represented as an instance of this conceptual structure can be converted into an RDF graph | + | ://This document defines the OWL 2 language. The core part of this specification — called the structural specification — is independent of the concrete exchange syntaxes for OWL 2 ontologies. The structural specification describes the conceptual structure of OWL 2 ontologies and thus provides a normative abstract representation for all (normative and nonnormative) syntaxes of OWL 2. This allows for a clear separation of the essential features of the language from issues related to any particular syntax. Furthermore, such a structural specification of OWL 2 provides the foundation for the implementation of OWL 2 tools such as APIs and reasoners. Each OWL 2 ontology represented as an [[dido:public:ra:xapend:xapend.a_glossary:i:instance|instance]] of this conceptual structure can be converted into an RDF graph |
| [[https://www.w3.org/TR/owl2-syntax/#ref-owl-2-rdf-mapping | OWL 2 RDF Mapping]]; conversely, most OWL 2 ontologies represented as RDF graphs can be converted into the conceptual structure defined in this document as OWL 2 RDF Mapping.// | [[https://www.w3.org/TR/owl2-syntax/#ref-owl-2-rdf-mapping | OWL 2 RDF Mapping]]; conversely, most OWL 2 ontologies represented as RDF graphs can be converted into the conceptual structure defined in this document as OWL 2 RDF Mapping.// | ||
| Line 36: | Line 36: | ||
| ://These three syntactic categories are used to express the logical part of OWL 2 ontologies — that is, they are interpreted under a precisely defined semantics that allows useful inferences to be drawn. For example, if an individual a:Peter is an instance of the class a:Student, and a:Student is a subclass of a:Person, then from the OWL 2 semantics one can derive that a:Peter is also an instance of a:Person.// | ://These three syntactic categories are used to express the logical part of OWL 2 ontologies — that is, they are interpreted under a precisely defined semantics that allows useful inferences to be drawn. For example, if an individual a:Peter is an instance of the class a:Student, and a:Student is a subclass of a:Person, then from the OWL 2 semantics one can derive that a:Peter is also an instance of a:Person.// | ||
| - | ://In addition, entities, axioms, and ontologies can be annotated in OWL 2. For example, a class can be given a human-readable label that provides a more descriptive name for the class. Annotations have no effect on the logical aspects of an ontology — that is, for the purposes of the OWL 2 semantics, annotations are treated as not being present. Instead, the use of annotations is left to the applications that use OWL 2. For example, a graphical user interface might choose to visualize a class using one of its labels.// | + | ://In addition, entities, axioms, and ontologies can be annotated in OWL 2. For example, a class can be given a human-readable label that provides a more descriptive name for the class. Annotations have no effect on the logical aspects of an ontology — that is, for the purposes of the OWL 2 semantics, annotations are treated as not being present. Instead, the use of annotations is left to the applications that use OWL 2. For example, a [[dido:public:ra:xapend:xapend.a_glossary:g:gui|graphical user interface]] might choose to visualize a class using one of its labels.// |
| ://Finally, OWL 2 provides basic support for ontology modularization. In particular, an OWL 2 ontology O can import another OWL 2 ontology O' and thus gain access to all entities, expressions, and axioms in O'.// | ://Finally, OWL 2 provides basic support for ontology modularization. In particular, an OWL 2 ontology O can import another OWL 2 ontology O' and thus gain access to all entities, expressions, and axioms in O'.// | ||
| - | ://This document defines the structural specification of OWL 2, the functional syntax for OWL 2, the behavior of datatype maps, and OWL 2 DL. Only the parts of the document related to these three purposes are normative. The examples in this document are informative and any part of the document that is specifically identified as informative is not normative. Further, the informal descriptions of the semantics of OWL 2 constructs in this document are informative; the Direct Semantics and the RDF-Based Semantics are precisely specified in separate documents.// | + | ://This document defines the structural specification of OWL 2, the functional syntax for OWL 2, the behavior of [[dido:public:ra:xapend:xapend.a_glossary:d:data_type]] maps, and OWL 2 DL. Only the parts of the document related to these three purposes are normative. The examples in this document are informative and any part of the document that is specifically identified as informative is not normative. Further, the informal descriptions of the semantics of OWL 2 constructs in this document are informative; the Direct Semantics and the RDF-Based Semantics are precisely specified in separate documents.// |
| ://The italicized keywords must, must not, should, should not, and may are used to specify normative features of OWL 2 documents and tools, and are interpreted as specified in [[https://www.w3.org/TR/owl2-syntax/#ref-rfc-2119| RFC 2119]].// | ://The italicized keywords must, must not, should, should not, and may are used to specify normative features of OWL 2 documents and tools, and are interpreted as specified in [[https://www.w3.org/TR/owl2-syntax/#ref-rfc-2119| RFC 2119]].// | ||
| + | |||
| + | |||
| + | /**=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- | ||
| + | /* To add a discussion page to this page, comment out the line that says | ||
| + | ~~DISCUSSION:off~~ | ||
| + | */ | ||
| + | ~~DISCUSSION:on|Outstanding Issues~~ | ||
| + | ~~DISCUSSION:off~~ | ||
dido/public/ra/xapend/xapend.b_stds/tech/w3c/owl2.1605251747.txt.gz · Last modified: 2020/11/13 02:15 by nick
