mulgara - semantic store

skip navigation

SHOW SITE NAV
fixed
fluid
straight

OWL-Lite Operations Using iTQL

There are three types of operations to perform for ontologies:

  1. Entailment
  2. Consistency checking
  3. Ontology management

Entailment operations lead statements being inferred whereas consistency checks determine if all of the statements are valid with respect to the schema.

The examples in this section of the documentation make use of the following pre-declared namespaces:

owl: http://www.w3.org/2002/07/owl#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
xsd: http://www.w3.org/2001/XMLSchema#
mulgara: http://mulgara.org/mulgara#
camera: http://www.xfront.com/owl/ontologies/camera/#

These can all be defined using the iTQLTM alias command:

alias <http://www.w3.org/2002/07/owl#> as owl;
alias <http://www.w3.org/1999/02/22-rdf-syntax-ns#> as rdf;
alias <http://www.w3.org/2000/01/rdf-schema#> as rdfs;
alias <http://www.w3.org/2001/XMLSchema#> as xsd;
alias <http://mulgara.org/mulgara#> as mulgara;
alias <http://www.xfront.com/owl/ontologies/camera/#> as camera;

Valid XHTML 1.0 TransitionalValid CSS 3.0!