pellet
Class PelletExplain

java.lang.Object
  extended by pellet.PelletCmdApp
      extended by pellet.PelletExplain

public class PelletExplain
extends PelletCmdApp

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Evren Sirin, Markus Stocker

Field Summary
 
Fields inherited from class pellet.PelletCmdApp
logger
 
Constructor Summary
PelletExplain(java.lang.String[] args)
           
 
Method Summary
 void explainClassHierarchy()
           
 void explainEquivalentClass(org.semanticweb.owl.model.OWLClass c1, org.semanticweb.owl.model.OWLClass c2)
           
 void explainInstance(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLClass c)
           
 void explainSubClass(org.semanticweb.owl.model.OWLClass sub, org.semanticweb.owl.model.OWLClass sup)
           
 void explainUnsatisfiableClass(org.semanticweb.owl.model.OWLClass cls)
           
 void explainUnsatisfiableClasses()
           
 java.lang.String getAppCmd()
           
 java.lang.String getAppId()
           
 PelletCmdOptions getOptions()
           
static void main(java.lang.String[] args)
           
 void run()
           
 
Methods inherited from class pellet.PelletCmdApp
getInputFormatOption, getLoaderOption
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PelletExplain

public PelletExplain(java.lang.String[] args)
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception

getAppId

public java.lang.String getAppId()
Specified by:
getAppId in class PelletCmdApp

getAppCmd

public java.lang.String getAppCmd()
Specified by:
getAppCmd in class PelletCmdApp

getOptions

public PelletCmdOptions getOptions()
Specified by:
getOptions in class PelletCmdApp

run

public void run()
Specified by:
run in class PelletCmdApp

explainClassHierarchy

public void explainClassHierarchy()
                           throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

explainEquivalentClass

public void explainEquivalentClass(org.semanticweb.owl.model.OWLClass c1,
                                   org.semanticweb.owl.model.OWLClass c2)
                            throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

explainInstance

public void explainInstance(org.semanticweb.owl.model.OWLIndividual ind,
                            org.semanticweb.owl.model.OWLClass c)
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

explainSubClass

public void explainSubClass(org.semanticweb.owl.model.OWLClass sub,
                            org.semanticweb.owl.model.OWLClass sup)
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

explainUnsatisfiableClasses

public void explainUnsatisfiableClasses()
                                 throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

explainUnsatisfiableClass

public void explainUnsatisfiableClass(org.semanticweb.owl.model.OWLClass cls)
                               throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException


Copyright © 2004 Evren Sirin. All Rights Reserved.