jena
Class owlsyntax

java.lang.Object
  extended by jena.owlsyntax

public class owlsyntax
extends 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.6 2004/12/14 13:31:10 jeremy_carroll Exp $
Author:
Jeremy Carroll

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

Method Detail

main

public static void main(String[] args)
Run the OWL Syntax Checker. Usage message is:
 
         jena.owlsyntax [--lite|--quiet|--dl] [--big|--lang [N-TRIPLE|N3]] [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 <urn:x-jena:syntaxchecker>).
 
         -l --lite     Give error messages for OWL DL or OWL Full constructions.
         -d --dl       Give error messages for OWL Full constructions (default).
         -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.
         (RDF/XML only)
         
         -L --lang     Specify N3 or N-TRIPLE input
         
         -m --manager  Specify OWL Document Manager
 
         --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 -

mainStr

public static String mainStr(String[] args)
Run the OWL Syntax Checker, return result as a string. See main(java.lang.String[]) for usage etc.



Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP