de.fau.cs.www8.jadeowlcodec
Class TBoxVersion

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.TBoxVersion

public class TBoxVersion
extends java.lang.Object

a TBox, meant to be copied when merged with anything incoming basically wraps a TBoxDocument but provides much more information

Author:

Ulf Schreiber

Constructor Summary

TBoxVersion(KnowledgeBase agentKB)

Method Summary

void	addNamespace(java.lang.String newNs, NamespaceURI nsuri)
boolean	checkConsistency(java.lang.String additionalDig) check the consistency of this TBox with some additional DIG code
RDFOWLDocument	getAccumulatedOWLDoc()
KnowledgeBase	getAgentKB()
NamespacedMap<OWLClassDescription,Uri.Concept>	getClasses()
NormalizedImplicans	getImplicans()
NormalizedImplications	getImplications()
TBoxVersion	getMergedWith(java.io.InputStream ins)
java.util.Set<java.lang.String>	getNamespaceKeySet()
NamespaceURI	getNamespaceURI(java.lang.String arg0)
NamespacedMap<OWLPropertyDescription,Uri.Role>	getProperties()
java.lang.String	getQnameFromUri(Uri uri, boolean forceNewURI)
AbsTripleStore	getTripleStoreRepresentation()
TsReducer	getTsReducerInstance()
TBoxVersion	getUnlearnedCopy()
Uri	getUriFromQname(java.lang.String qname)
ReasonerKBHandle	tellIntoReasoner()

Methods inherited from class java.lang.Object

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

Constructor Detail

TBoxVersion

public TBoxVersion(KnowledgeBase agentKB)

Method Detail

checkConsistency

public boolean checkConsistency(java.lang.String additionalDig)

check the consistency of this TBox with some additional DIG code

Parameters:

additionalDig -

Returns:

returns true if no inconsistencies (or other serious problems) have been found

getAgentKB

public KnowledgeBase getAgentKB()

getClasses

public NamespacedMap<OWLClassDescription,Uri.Concept> getClasses()

Returns:

Returns the classes.

getProperties

public NamespacedMap<OWLPropertyDescription,Uri.Role> getProperties()

Returns:

Returns the properties.

getUnlearnedCopy

public TBoxVersion getUnlearnedCopy()

Returns:

a deep copy of this, with exception of the URIs

tellIntoReasoner

public ReasonerKBHandle tellIntoReasoner()

getMergedWith

public TBoxVersion getMergedWith(java.io.InputStream ins)
                          throws TBoxMerger.MergeException

Parameters:

ins - incoming TBoxDocument

Returns:

the new merged TBoxVersion

Throws:

TBoxMerger.MergeException

getUriFromQname

public Uri getUriFromQname(java.lang.String qname)

getQnameFromUri

public java.lang.String getQnameFromUri(Uri uri,
                                        boolean forceNewURI)

addNamespace

public void addNamespace(java.lang.String newNs,
                         NamespaceURI nsuri)

getNamespaceURI

public NamespaceURI getNamespaceURI(java.lang.String arg0)

getNamespaceKeySet

public java.util.Set<java.lang.String> getNamespaceKeySet()

getAccumulatedOWLDoc

public RDFOWLDocument getAccumulatedOWLDoc()

Returns:

Returns the accumulatedOWLDoc.

getTripleStoreRepresentation

public AbsTripleStore getTripleStoreRepresentation()

getImplications

public NormalizedImplications getImplications()

getImplicans

public NormalizedImplicans getImplicans()

getTsReducerInstance

public TsReducer getTsReducerInstance()