pellet
Class PelletEntailment

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

public class PelletEntailment
extends PelletCmdApp

Title: PelletEntailment

Description: Given an input ontology check if the axioms in the output ontology are all entailed. If not, report either the first non-entailment or all non-entailments.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Markus Stocker

Field Summary
 
Fields inherited from class pellet.PelletCmdApp
logger
 
Constructor Summary
PelletEntailment(java.lang.String[] args)
           
 
Method Summary
 java.lang.String getAppCmd()
           
 java.lang.String getAppId()
           
 java.util.Set<org.semanticweb.owl.model.OWLAxiom> getNonEntailments()
           
 PelletCmdOptions getOptions()
           
 boolean isEntailed()
           
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

PelletEntailment

public PelletEntailment(java.lang.String[] args)
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

run

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

isEntailed

public boolean isEntailed()

getNonEntailments

public java.util.Set<org.semanticweb.owl.model.OWLAxiom> getNonEntailments()

main

public static void main(java.lang.String[] args)


Copyright © 2004 Evren Sirin. All Rights Reserved.