org.semanticweb.ruqar.owl

Class OWLReasoning

java.lang.Object

org.semanticweb.ruqar.owl.OWLReasoning

public class OWLReasoning
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
OWLReasoning(org.semanticweb.owlapi.model.IRI iri) Loads an ontology from IRI.
OWLReasoning(java.lang.String pathFileName, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory) Loads an ontology with all imports from files.

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLOntology	doReasoning(boolean TBox, boolean ABox) Performs reasoning.
org.semanticweb.owlapi.model.OWLOntologyManager	getManager() Returns instance.
int	getNumberOfAllAssertions() Returns the summarized number of class, object property and datatype property assertions in the ontology.
int	getNumberOfClassAssertions() Returns the number of class assertions in the ontology.
int	getNumberOfDatatypeAssertions() Returns the number of datatype property assertions in the ontology.
int	getNumberOfObjectPropertyAssertions() Returns the number of object property assertions in the ontology.
org.semanticweb.owlapi.model.OWLOntology	getOntology() Returns instance.
java.lang.String	getOWL2ProfileInformation() Checks the OWL 2 Profile of an ontology.
void	removeSWRLRulesFromOntology() Removes SWRL rules from a given ontology.
void	restoreSWRLRulesInOntology() Restores rules in ontology (if was invoked earlier).
void	saveOntology(org.semanticweb.owlapi.model.OWLOntology ontology, java.lang.String pathFileName, org.semanticweb.owlapi.model.OWLOntologyFormat format) Saves given ontology into file.

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLReasoning

public OWLReasoning(org.semanticweb.owlapi.model.IRI iri)

Loads an ontology from IRI.

Parameters:

pathFileName -

OWLReasoning

public OWLReasoning(java.lang.String pathFileName,
            org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Loads an ontology with all imports from files. If reasonerFactory == null then HermiT is used as default reasoner.

Parameters:

pathFileName -

Method Detail

doReasoning

public org.semanticweb.owlapi.model.OWLOntology doReasoning(boolean TBox,
                                                   boolean ABox)

Performs reasoning. As a result we obtain the calculated (classified) version of a given ontology. You can choose what kind of reasoning you want to perform: TBox, ABox or both of them.

Returns:

getManager

public org.semanticweb.owlapi.model.OWLOntologyManager getManager()

Returns instance.

Returns:

getNumberOfAllAssertions

public int getNumberOfAllAssertions()

Returns the summarized number of class, object property and datatype property assertions in the ontology.

Returns:

getNumberOfClassAssertions

public int getNumberOfClassAssertions()

Returns the number of class assertions in the ontology.

Returns:

getNumberOfDatatypeAssertions

public int getNumberOfDatatypeAssertions()

Returns the number of datatype property assertions in the ontology.

Returns:

getNumberOfObjectPropertyAssertions

public int getNumberOfObjectPropertyAssertions()

Returns the number of object property assertions in the ontology.

Returns:

getOntology

public org.semanticweb.owlapi.model.OWLOntology getOntology()

Returns instance.

Returns:

getOWL2ProfileInformation

public java.lang.String getOWL2ProfileInformation()

Checks the OWL 2 Profile of an ontology. Returns summary as a object.

Returns:

removeSWRLRulesFromOntology

public void removeSWRLRulesFromOntology()

Removes SWRL rules from a given ontology. axioms are saved and they can be restored using <> function.

restoreSWRLRulesInOntology

public void restoreSWRLRulesInOntology()

Restores rules in ontology (if was invoked earlier).

saveOntology

public void saveOntology(org.semanticweb.owlapi.model.OWLOntology ontology,
                java.lang.String pathFileName,
                org.semanticweb.owlapi.model.OWLOntologyFormat format)

Saves given ontology into file.

Parameters:

ontology -

pathFileName -

format -