pellet
Class PelletEntailment
java.lang.Object
pellet.PelletCmdApp
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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PelletEntailment
public PelletEntailment()
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
Copyright © 2004 Evren Sirin. All Rights Reserved.