org.mindswap.pellet
Class EconnectedKB

java.lang.Object
  extended by org.mindswap.pellet.KnowledgeBase
      extended by org.mindswap.pellet.EconnectedKB

public class EconnectedKB
extends KnowledgeBase

Author:
bernardo TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
 
Fields inherited from class org.mindswap.pellet.KnowledgeBase
constructedOWL, DEBUG, flagOWLT, timers, ts, ts2onto
 
Constructor Summary
EconnectedKB()
           
 
Method Summary
 void addDomain(aterm.ATerm p, aterm.ATermAppl c)
           
 void addInverseLink(Role roleS, Role roleR)
           
 void addLinkProperty(aterm.ATerm p)
           
 void addOntology(java.lang.String ont)
           
 void addRange(aterm.ATerm p, aterm.ATermAppl c)
           
 void classify()
           
 boolean getCheckAll()
           
 EconnExpressivity getEconnExpressivity()
           
 java.util.Set getNumberRestrictions()
           
 RBox getRBox(java.lang.String ont)
           
 java.util.Map getRBoxes()
           
 TBox getTBox(java.lang.String ont)
           
 java.util.Map getTBoxes()
           
 boolean isDifferentFrom(aterm.ATermAppl t1, aterm.ATermAppl t2)
           
 boolean isLinkProperty(aterm.ATerm p)
           
 boolean isProperty(aterm.ATerm p)
           
 boolean isSameAs(aterm.ATermAppl t1, aterm.ATermAppl t2)
           
 boolean isSatisfiable(aterm.ATermAppl c)
           
 boolean isSubClassOf(aterm.ATermAppl c1, aterm.ATermAppl c2)
          Check if class c1 is subclass of class c2.
 void prepare()
           
 void printClassTree()
          Print the class hierarchy on the standard output.
 void printClassTree(OutputFormatter out)
           
 void setOntology(java.lang.String ont)
          Set the URI of the ontology this Kb belongs to.
 
Methods inherited from class org.mindswap.pellet.KnowledgeBase
addAnnotationProperty, addClass, addComplementClass, addDataPropertyValue, addDataRange, addDatatype, addDatatypeProperty, addDifferent, addDisjointClass, addEquivalentClass, addEquivalentProperty, addFunctionalProperty, addIndividual, addInverseFunctionalProperty, addInverseProperty, addObjectProperty, addObjectPropertyValue, addOntologyProperty, addProperty, addPropertyValue, addSame, addSameClass, addSameProperty, addSubClass, addSubProperty, addSymmetricProperty, addTransitiveProperty, addType, binaryInstanceRetrieval, clear, copy, doExplanation, ensureConsistency, getABox, getAllClasses, getAllEquivalentClasses, getAllEquivalentProperties, getAllSames, getClasses, getComplements, getDataProperties, getDataPropertyValues, getDataPropertyValues, getDataPropertyValues, getDatatypeReasoner, getDisjoints, getDoDependencyAxioms, getDomains, getEquivalentClasses, getEquivalentProperties, getExplanation, getExplanationSet, getExpressivity, getFlagOWLT, getFunctionalProperties, getIndividuals, getIndividualsWithDataProperty, getIndividualsWithObjectProperty, getIndividualsWithProperty, getInfo, getInstances, getInstances, getInverseFunctionalProperties, getInverses, getObjectProperties, getObjectPropertyValues, getOntology, getPossibleProperties, getProperties, getProperties, getProperty, getPropertyType, getPropertyValues, getPropertyValues, getRanges, getRBox, getRoleTaxonomy, getRules, getSames, getSizeEstimate, getSubClasses, getSubClasses, getSubProperties, getSubProperties, getSuperClasses, getSuperClasses, getSuperProperties, getSuperProperties, getSymmetricProperties, getTaxonomy, getTaxonomyBuilder, getTBox, getTransitiveProperties, getTS, getTS2Onto, getType, getType, getTypes, getTypes, hasDomain, hasInstance, hasKnownPropertyValue, hasPropertyValue, hasRange, isABoxChanged, isABoxProperty, isAnnotationProperty, isChanged, isClass, isClassified, isComplement, isConsistencyDone, isConsistent, isDatatype, isDatatype, isDatatypeProperty, isDisjoint, isEquivalentClass, isEquivalentProperty, isFunctionalProperty, isIndividual, isInverse, isInverseFunctionalProperty, isKnownType, isObjectProperty, isOntologyProperty, isRBoxChanged, isRealized, isSubclassOf, isSubPropertyOf, isSubTypeOf, isSymmetricProperty, isTBoxChanged, isTransitiveProperty, isType, loadDatatype, loadKRSS, realize, removeObjectPropertyValue, removeType, retrieve, retrieveIndividualsWithProperty, runQuery, setDoDependencyAxioms, setDoExplanation, setRBox, setRules, setTBox, setTimeout, setTS, setTS2Onto
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EconnectedKB

public EconnectedKB()
Method Detail

getTBox

public TBox getTBox(java.lang.String ont)

getRBox

public RBox getRBox(java.lang.String ont)

getTBoxes

public java.util.Map getTBoxes()

getCheckAll

public boolean getCheckAll()

getRBoxes

public java.util.Map getRBoxes()

getEconnExpressivity

public EconnExpressivity getEconnExpressivity()

setOntology

public void setOntology(java.lang.String ont)
Description copied from class: KnowledgeBase
Set the URI of the ontology this Kb belongs to.

Overrides:
setOntology in class KnowledgeBase

addOntology

public void addOntology(java.lang.String ont)

addLinkProperty

public void addLinkProperty(aterm.ATerm p)

isLinkProperty

public boolean isLinkProperty(aterm.ATerm p)

isProperty

public boolean isProperty(aterm.ATerm p)
Overrides:
isProperty in class KnowledgeBase

addInverseLink

public void addInverseLink(Role roleS,
                           Role roleR)
Parameters:
r -
ro -

isSubClassOf

public boolean isSubClassOf(aterm.ATermAppl c1,
                            aterm.ATermAppl c2)
Description copied from class: KnowledgeBase
Check if class c1 is subclass of class c2.

Overrides:
isSubClassOf in class KnowledgeBase
Returns:

isSameAs

public boolean isSameAs(aterm.ATermAppl t1,
                        aterm.ATermAppl t2)
Overrides:
isSameAs in class KnowledgeBase

isDifferentFrom

public boolean isDifferentFrom(aterm.ATermAppl t1,
                               aterm.ATermAppl t2)
Overrides:
isDifferentFrom in class KnowledgeBase

prepare

public void prepare()
Overrides:
prepare in class KnowledgeBase

classify

public void classify()
Overrides:
classify in class KnowledgeBase

printClassTree

public void printClassTree()
Description copied from class: KnowledgeBase
Print the class hierarchy on the standard output.

Overrides:
printClassTree in class KnowledgeBase

printClassTree

public void printClassTree(OutputFormatter out)
Overrides:
printClassTree in class KnowledgeBase

isSatisfiable

public boolean isSatisfiable(aterm.ATermAppl c)
Overrides:
isSatisfiable in class KnowledgeBase

addDomain

public void addDomain(aterm.ATerm p,
                      aterm.ATermAppl c)
Overrides:
addDomain in class KnowledgeBase

addRange

public void addRange(aterm.ATerm p,
                     aterm.ATermAppl c)
Overrides:
addRange in class KnowledgeBase

getNumberRestrictions

public java.util.Set getNumberRestrictions()


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.