Package org.semanticweb.elk.owlapi.examples

Class RetrievingProofsForEntailment

java.lang.Object

org.semanticweb.elk.owlapi.examples.RetrievingProofsForEntailment

public class RetrievingProofsForEntailment
extends Object

This examples illustrates how to retrieve proofs for an entailment via the OWL API.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

Constructors

Constructor	Description
RetrievingProofsForEntailment()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RetrievingProofsForEntailment

public RetrievingProofsForEntailment()

Method Details

main

public static void main(String[] args) throws org.semanticweb.owlapi.model.OWLOntologyCreationException

Parameters:

args -

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException