Previous Topic

Next Topic

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;

In This Section

Entailment

Consistency Checking

See Also

Inferencing

Introduction to Inferencing

Inferencing and Mulgara

SOFA

Inferencing Examples Using SOFA and iTQL

Open Source logo

© 2001-2004 Tucana Technologies, Inc. Some rights reserved.

© 2006 The Mulgara Project. Some rights reserved.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".