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#
tucana: http://tucana.org/tucana#
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://tucana.org/tucana#> as tucana;
alias <http://www.xfront.com/owl/ontologies/camera/#> as camera;

In This Section

Entailment

Consistency Checking

See Also

Inferencing

Introduction to Inferencing

Inferencing and Kowari

SOFA

Inferencing Examples Using SOFA and iTQL

Latest News

Kowari 1.1.0 Pre-release 1 Released

Kowari 1.0.5 Released

Kowari 1.0.4.1 Released

Kowari 1.0.4 Released

DAWG Evaluates iTQL

Kowari article in XML.com

Kowari mentioned on XML.com

Kowari 1.0.3 Released

Kowari Lite Introduced

Kowari 1.0.2 Released

Kowari 1.0.1 Released

View all news items


Open Source logo Tucana Technologies Logo SourceForge.net Logo

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