org.mindswap.pellet
Class EconnectedKB
java.lang.Object
org.mindswap.pellet.KnowledgeBase
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
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 |
EconnectedKB
public EconnectedKB()
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.