jena
Class owlsyntax

java.lang.Object
  extended byjena.owlsyntax

public class owlsyntax
extends java.lang.Object

Implements the OWL Syntax Checker from the OWL Test Cases. Current known weaknesses:

When two files are given on the command-line it treats the first as a premises file and the second as a conclusion file and indicates the sort of OWL reasoner that may be needed for testing the entailment. For example, if both files are Lite but a URI is used as an individual in the first and a class in the second then a Full reasoner is needed.

Version:
$Id: owlsyntax.java,v 1.2 2004/01/27 15:45:24 jeremy_carroll Exp $
Author:
Jeremy Carroll

Method Summary
static void main(java.lang.String[] args)
          Run the OWL Syntax Checker.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

main

public static void main(java.lang.String[] args)
Run the OWL Syntax Checker. Usage message is:
   jena.owlsyntax [--lite|--quiet] [--big] [file1] [file2]
   jena.owlsyntax --help
   jena.owlsyntax [--textui] --test [ManifestURL]

The first form reports "Lite", "DL", or "Full"
If two files are specified, then both files are checked, and
the vocabulary usage by both files together must be separated.
If no files are specified then standard input is used,
(in this case, relative URIs and rdf:ID's are resolved
 against ).

  -l --lite     Give error messages for OWL DL or OWL Full constructions.
  -q --quiet    No error messages.
  -s --short    Give short error messages
                                (Default is long messages for OWL Full only)
  -b --big      Input file is big - optimize memory usage.
                                Quality of long error messages suffers.

  --test        Run a test suite - default latest OWL Test publication.
                                URL of file:testing/wg/OWLManifest.rdf uses local copy.
  --textui      Use the junit.textui instead of the swingui
 

Parameters:
args -


Copyright © 2000-2003 Hewlett-Packard. All Rights Reserved.