OWLFillerAntecedent (PML - Proof Markup Language API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

iw.model.owl
Interface OWLFillerAntecedent

All Superinterfaces:: IWFillerAntecedent

public interface OWLFillerAntecedent
extends IWFillerAntecedent

Method Summary
`com.hp.hpl.jena.ontology.Individual`	`fromFillerAntecedent(com.hp.hpl.jena.ontology.OntModel _model)`

Methods inherited from interface iw.model.IWFillerAntecedent

addAntecedent, getAntecedents, getInferenceStepIndex, setAntecedents, setInferenceStepIndex

Method Detail

fromFillerAntecedent

public com.hp.hpl.jena.ontology.Individual fromFillerAntecedent(com.hp.hpl.jena.ontology.OntModel _model)
                                                         throws java.lang.Exception

Throws:: java.lang.Exception