Previous  Top  Next

Conformance

SemanticWorks 2008 conforms to the W3C specifications listed in the W3C's RDF Overview and OWL Overview documents. The respective suites of specifications are as listed below.

RDF specifications

OWL specifications

Implementation-specific information

The following implementation-specific information should be noted:

The syntax check of the document

Checks if the document is well-formed RDF. The Syntax Check command of SemanticWorks checks whether the document can be transformed into OWL Abstract Syntax following the rules given in the OWL Web Ontology Language Semantics and Abstract Syntax document, Section 4: Mapping to RDF Graphs. The document is said to be well-formed if it satisfies the definitions for an "OWL Lite ontology in RDF graph form" or an "OWL DL ontology in RDF graph form", respectively for OWL Lite and OWL DL documents, as described at the end of Section 4.

The semantic check of the document

The Semantic Check command of SemanticWorks checks whether the document follows the rules given in the OWL Web Ontology Language Semantics and Abstract Syntax document, Section 5: RDF-Compatible Model-Theoretic Semantics. The semantic engine in SemanticWorks executes the checks solely on the existing statements. It is a partial consistency checker.