FullSemantics

From OWL
Revision as of 11:33, 2 February 2009 by Michael Schneider (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Goto OWL 2 Full Main Page


The overview page about OWL 2 Full semantics.

There are two sets of language feature categories: One for all the new features of OWL 2, and another set for selected features of OWL 1. Each of the feature categories has a dedicated Wiki page, which can be reached by clicking on the respective category name.

Semantics of Language Features

Standard states:

  • "N/A": not available (work on this feature has not yet started)
  • "WIP": work in progress (not intended to be reviewed by WG yet)
  • "no audit": needs final audit (not intended to be reviewed by WG yet)
  • "ready": the proposal is ready for review by the WG (but: ready ⊭ finished)

New OWL 2 Language Feature Categories

Feature Category State Comment
Axiom Annotations ready under consideration: syntax uses RDF Reification
Datatype Restrictions WIP still under slight consideration: RDF syntax and DL semantics
Disjoint Properties ready
Disjoint Unions ready
Easy Keys no audit alternative to IFDPs (still under discussion)
IFF Expressions WIP the IFF semantics of boolean class expressions and enumerations
Inverse Property Expressions ready
Language Ranges N/A feature currently under discussion
Named Individuals ready
N-ary Axioms ready
N-ary Datatypes WIP feature under discussion
N-ary Predicates WIP feature still under discussion
Negative Property Assertions ready
Property Characteristics ready reflexive, irreflexive and asymmetric properties
Universal Property ready the top and bottom property
Qualified Cardinality Restrictions ready
Self Restrictions ready under consideration: Russell Paradox
Sub Property Chains WIP

Old OWL 1 Language Feature Categories

Currently not all old language features are treated here, but only some which are specifically interesting.

For everything else, see the original OWL 1 Full semantics.

Feature Category State Comment
AllDifferent axioms ready missing main semantic condition
Axiomatic Triples WIP many are missing(?) in OWL 1 Full
Comprehension Principles ready only general comprehension principles
Data Conditions N/A subsidiary semantic conditions for datatypes, data values and, data properties
Data Ranges WIP usage has been deprecated; semantics are aligned to rdfs:Datatype
Deprecation ready
Enumerations N/A
Imports ready how import directives work in OWL 2 Full
RDFS Axioms WIP the table containing subClassOf, subPropertyOf, domain, range
Sequence based Axioms ready semantic conditions with a sequence as their argument

Conventions

Terminology follows OWL 1 except where noted. In particular:

S_I 
interprets the URIs of the OWL vocabulary (including RDF and RDFS vocabulary)
EXT_I 
maps domain-elements to their property extension
CEXT_I 
maps domain-elements to their class extension
IOT 
individuals (in Full just all resources)
LV_I 
literal values (also individuals in Full)
IOC 
classes
IOR 
restrictions (also classes in Full)
IDC 
datatypes (also classes in Full)
IOOP 
object properties (in Full just all properties)
IODP 
data properties (also object properties in Full)

Editing Help

  • Use <sub> and <sup> for lowering and highering indexes
  • Set mathematical formulas in /' '...' '/ for rendering them in a slanted style
  • Write tuples as "(x,y)" instead of "<x,y>", or use <nowiki>

A list of mathematical symbols:

≠ < ≤ > ≥ ◦ ∈ ∉ ∨ ∧ ¬ → ↔ ∀ ∃ ∩ ∪ ⊆ × ∅ 〈 〉 … ⊨


(Additional symbols can be obtained from the Font "Arial Unicode MS")


Goto OWL 2 Full Main Page