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()
           
 
Method Summary
 void explainClassHierarchy()
           
 void explainEquivalentClass(org.semanticweb.owlapi.model.OWLClass c1, org.semanticweb.owlapi.model.OWLClass c2)
           
 void explainInstance(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClass c)
           
 void explainPropertyValue(org.semanticweb.owlapi.model.OWLIndividual s, org.semanticweb.owlapi.model.OWLProperty p, org.semanticweb.owlapi.model.OWLObject o)
           
 void explainSubClass(org.semanticweb.owlapi.model.OWLClass sub, org.semanticweb.owlapi.model.OWLClass sup)
           
 void explainUnsatisfiableClass(org.semanticweb.owlapi.model.OWLClass cls)
           
 void explainUnsatisfiableClasses()
           
 java.lang.String getAppCmd()
           
 java.lang.String getAppId()
           
 PelletCmdOptions getOptions()
           
 void parseArgs(java.lang.String[] args)
           
 void run()
           
 
Methods inherited from class pellet.PelletCmdApp
finish, getGlobalOptions, getIgnoreImportsOption, getInputFormatOption, getLoaderOption, help, requiresInputFiles
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PelletExplain

public PelletExplain()
Method Detail

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

parseArgs

public void parseArgs(java.lang.String[] args)
Overrides:
parseArgs in class PelletCmdApp

run

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

explainClassHierarchy

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

explainEquivalentClass

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

explainInstance

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

explainPropertyValue

public void explainPropertyValue(org.semanticweb.owlapi.model.OWLIndividual s,
                                 org.semanticweb.owlapi.model.OWLProperty p,
                                 org.semanticweb.owlapi.model.OWLObject o)
                          throws org.semanticweb.owlapi.model.OWLException
Throws:
org.semanticweb.owlapi.model.OWLException

explainSubClass

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

explainUnsatisfiableClasses

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

explainUnsatisfiableClass

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


Copyright © 2004 Evren Sirin. All Rights Reserved.