de.unima.alcomox.ontology
Class IOntology

java.lang.Object
  de.unima.alcomox.ontology.AlcomoOntology
      de.unima.alcomox.ontology.LocalOntology
          de.unima.alcomox.ontology.IOntology

public class IOntology
extends LocalOntology

Field Summary

Fields inherited from class de.unima.alcomox.ontology.LocalOntology

loadedOntCounter, myOntId, rangeIds, xxx

Fields inherited from class de.unima.alcomox.ontology.AlcomoOntology

extractionProblem, factory, log, manager, NOTHING, ontology, reasoner, THING

Constructor Summary

IOntology(java.lang.String filepathOrUrl)

Method Summary

boolean	hasICommonSubClass(org.semanticweb.owlapi.model.OWLClass c1, org.semanticweb.owlapi.model.OWLClass c2) Checks whether two classes have a common named sublass (except NOTHING).
boolean	hasICommonSubDisjointClass(org.semanticweb.owlapi.model.OWLClass c1, org.semanticweb.owlapi.model.OWLClass c2) Checks whether there exists a class that is both a subclass of c1 and at the same time a class that is disjoint with c2.
void	init(ExtractionProblem ep) Initializes an IOntology by setting up an additional interval tree, that represents very fast index structures highly beneficial in the pattern-based reasoning. 22
boolean	isIDisjointClassWithClass(org.semanticweb.owlapi.model.OWLClass c1, org.semanticweb.owlapi.model.OWLClass c2)
boolean	isISubClassOfClass(org.semanticweb.owlapi.model.OWLClass c1, org.semanticweb.owlapi.model.OWLClass c2)
static void	main(java.lang.String[] args)

Methods inherited from class de.unima.alcomox.ontology.LocalOntology

getEntityByUri, getNextExtId, getRandomEntity, getRandomEntity, getReferencedClassUris, isUnsatisfiable

Methods inherited from class de.unima.alcomox.ontology.AlcomoOntology

freeReasoner, getAxioms, getClasses, getExtractionProblem, getRealDirectSuperClassesOfClass, getSubClassesOfClass, getUnsatisfiableClasses, initReasoner, initReasonerWithoutClassification, isDisjointClassWithClass, isSubClassOfClass, setExtractionProblem, setFactory, toShortString, toString, write

Methods inherited from class java.lang.Object

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

Constructor Detail

IOntology

public IOntology(java.lang.String filepathOrUrl)
          throws AlcomoException

Throws:

AlcomoException

Method Detail

main

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

Throws:

AlcomoException

init

public void init(ExtractionProblem ep)
          throws OntologyException

Initializes an IOntology by setting up an additional interval tree, that represents very fast index structures highly beneficial in the pattern-based reasoning. 22

Overrides:

init in class LocalOntology

Parameters:

ep - The Extraction that this IOntology is bound to.

Throws:

OntologyException

isISubClassOfClass

public boolean isISubClassOfClass(org.semanticweb.owlapi.model.OWLClass c1,
                                  org.semanticweb.owlapi.model.OWLClass c2)

isIDisjointClassWithClass

public boolean isIDisjointClassWithClass(org.semanticweb.owlapi.model.OWLClass c1,
                                         org.semanticweb.owlapi.model.OWLClass c2)

hasICommonSubClass

public boolean hasICommonSubClass(org.semanticweb.owlapi.model.OWLClass c1,
                                  org.semanticweb.owlapi.model.OWLClass c2)

Checks whether two classes have a common named sublass (except NOTHING). Should run in average in something between O(1) and O(b) where b is the average branching factor.

Parameters:

c1 - The first class.

c2 - The second class

Returns:

True if both classes have a common subclass, false otherwise.

hasICommonSubDisjointClass

public boolean hasICommonSubDisjointClass(org.semanticweb.owlapi.model.OWLClass c1,
                                          org.semanticweb.owlapi.model.OWLClass c2)

Checks whether there exists a class that is both a subclass of c1 and at the same time a class that is disjoint with c2.

Parameters:

c1 - The class for which subclasses are implicitly checked.

c2 - The class for which disjoint classes are implicitly checked.

Returns:

True, if there is a class that is a subclass of c1 and disjoint with c2.