|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of KAON2Exception in org.semanticweb.kaon2.api |
|---|
| Methods in org.semanticweb.kaon2.api that throw KAON2Exception | |
|---|---|
void |
Ontology.addOntologyProperty(java.lang.String ontologyPropertyURI,
java.lang.String value)
Adds the property value for this ontology. |
void |
Ontology.addToImports(Ontology ontology)
Adds specified ontology to the set of ontologies imported in this ontology. |
void |
Ontology.applyChanges(java.util.List<OntologyChangeEvent> changes)
Applies a list of changes to the ontology. |
Axiom |
KAON2Factory.axiom(java.io.Reader reader,
Namespaces namespaces)
|
Axiom |
KAON2Factory.axiom(java.lang.String string,
Namespaces namespaces)
|
KAON2Factory.AxiomIterator |
KAON2Factory.axioms(java.io.Reader reader,
Namespaces namespaces)
|
void |
Ontology.cancelPendingImportSave()
Cancels the import or save operation that is pending on this ontology. |
void |
KAON2Connection.cancelPendingOpen()
Cancels the open operation that is pending on this connection. |
void |
KAON2Connection.close()
Closes this connection. |
void |
Cursor.close()
Closes the cursor and releases all resources used. |
void |
KAON2Connection.closeOntologies(java.util.Set<Ontology> ontologies)
Closes the ontologies in the specified set. |
boolean |
Ontology.containsAxiom(Axiom axiom,
boolean checkIncludedOntologies)
Checks whether given axiom is contained in this ontology. |
boolean |
Ontology.containsEntity(Entity entity,
boolean checkIncludedOntologies)
Checks whether given entity is contained in this ontology. |
Ontology |
KAON2Connection.createOntology(java.lang.String ontologyURI,
java.util.Map<java.lang.String,java.lang.Object> parameters)
Creates an ontology with given physical URI. |
Reasoner |
Ontology.createReasoner()
Creates a reasoner for this ontolgy. |
DataRange |
KAON2Factory.dataRange(java.io.Reader reader,
int arity,
Namespaces namespaces)
|
DataRange |
KAON2Factory.dataRange(java.lang.String string,
int arity,
Namespaces namespaces)
|
Description |
KAON2Factory.description(java.io.Reader reader,
Namespaces namespaces)
|
Description |
KAON2Factory.description(java.lang.String string,
Namespaces namespaces)
|
java.util.Set<E> |
Request.get()
Returns the entire result set by considering axioms only from the given ontology. |
java.util.Set<E> |
Request.get(int fromIndex,
int toIndex)
Returns the window of the result set by considering axioms only from the given ontology. |
java.util.Set<E> |
Request.getAll()
Returns the entire result set by considering axioms only from the given and all included ontologies. |
java.util.Set<E> |
Request.getAll(int fromIndex,
int toIndex)
Returns the window of the result set by considering axioms only from the given and all included ontologies. |
Ontology |
Ontology.getDeclaringOntology(Axiom axiom)
Returns the ontology where the given axiom is declared. |
boolean |
Ontology.getDuplicateAxiomsThrowException()
Returns true if duplicate additions of axioms to this ontology result in an exception. |
java.util.Set<Ontology> |
KAON2Connection.getOntologies()
Returns the set of ontologies open by the connection. |
Ontology |
KAON2Connection.getOntology(java.lang.String ontologyURI)
Returns an ontology with a given ontology URI, provided that it was opened or created before. |
static OntologyFileFormat |
OntologyFileFormat.getOntologyFormat(java.io.File file)
Attempts to decode the appropriate format of an ontology source. |
static OntologyFileFormat |
OntologyFileFormat.getOntologyFormat(java.io.InputStream inputStream)
Attempts to decode the appropriate format of an ontology source. |
static OntologyFileFormat |
OntologyFileFormat.getOntologyFormat(java.io.Reader reader)
Attempts to decode the appropriate format of an ontology source. |
static OntologyFileFormat |
OntologyFileFormat.getOntologyFormat(java.lang.String physicalURI,
java.net.Proxy proxy)
Attempts to decode the appropriate format of an ontology source. |
java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
Ontology.getOntologyProperties()
Returns the properties for this ontology. |
java.util.Set<java.lang.String> |
Ontology.getOntologyPropertyValues(java.lang.String ontologyPropertyURI)
Returns the values of a property for this ontology. |
static java.lang.String |
OntologyFileFormat.getOntologyURI(java.io.File file)
Returns the ontology URI from a given OWLX ontology. |
static java.lang.String |
OntologyFileFormat.getOntologyURI(java.io.InputStream inputStream,
java.lang.String physicalURI)
Returns the ontology URI from a given OWLX ontology. |
static java.lang.String |
OntologyFileFormat.getOntologyURI(java.io.Reader reader,
java.lang.String physicalURI)
Returns the ontology URI from a given ontology. |
static java.lang.String |
OntologyFileFormat.getOntologyURI(java.lang.String physicalURI,
java.net.Proxy proxy)
Returns the ontology URI from a given ontology. |
static java.lang.String |
KAON2Manager.getOntologyURI(java.lang.String physicalURI,
java.net.Proxy proxy)
Returns an ontology URI for given physical URI. |
java.util.Set<java.lang.String> |
KAON2Connection.getOntologyURIs()
Returns the set of logical URIs of all ontologies open by the connection. |
boolean |
Cursor.hasNext()
Returns true if there are more objects in the cursor, i.e. |
void |
Ontology.importContentsFrom(java.io.File file)
Exports this ontolgy into specified format. |
void |
Ontology.importContentsFrom(java.io.InputStream inputStream,
java.lang.String physicalURI)
Adds axioms from the supplied input stream into this ontology. |
void |
Ontology.importContentsFrom(java.io.Reader reader,
java.lang.String physicalURI)
Adds the contents from the supplied source into this ontology. |
void |
Ontology.importContentsFrom(java.lang.String physicalURI)
Exports this ontolgy into specified format. |
boolean |
KAON2Connection.isOpen()
Returns true if this connection is open. |
boolean |
Cursor.isOpen()
Returns true if the cursor is open. |
Axiom |
KAON2Factory.AxiomIterator.next()
|
E |
Cursor.next()
Returns the current objects and moves the cursor to the next object. |
Cursor<E> |
Request.openCursor()
Returns a cursor containing results from the given ontology. |
Ontology |
KAON2Connection.openOntology(java.lang.String ontologyURI,
java.util.Map<java.lang.String,java.lang.Object> parameters)
Opens an ontology with given ontology URI. |
void |
Ontology.persist()
Ensures that the ontology is persisted. |
java.lang.String |
DefaultOntologyResolver.registerOntology(java.lang.String physicalURI)
Registers the ontology with a given physical URI. |
java.lang.String |
DefaultOntologyResolver.registerOntology(java.lang.String physicalURI,
java.net.Proxy proxy)
Registers the ontology with a given physical URI. |
void |
Ontology.removeFromImports(Ontology ontology)
Removes specified ontology from the set of ontologies imported in this ontology. |
void |
Ontology.removeOntologyProperty(java.lang.String ontologyPropertyURI,
java.lang.String value)
Removes the property with given value for this ontology. |
void |
Ontology.saveOntology(OntologyFileFormat ontologyFileFormat,
java.io.File file,
java.lang.String encoding)
Exports this ontolgy into specified format. |
void |
Ontology.saveOntology(OntologyFileFormat ontologyFileFormat,
java.io.OutputStream outputStream,
java.lang.String encoding)
Exports this ontolgy into specified format. |
void |
Ontology.saveOntology(OntologyFileFormat ontologyFileFormat,
java.lang.String physicalURI,
java.lang.String encoding)
Exports this ontolgy into specified format. |
void |
Ontology.saveOntology(OntologyFileFormat ontologyFileFormat,
java.io.Writer writer,
java.lang.String encoding)
Exports this ontolgy into specified format. |
void |
Ontology.setDuplicateAxiomsThrowException(boolean throwExceptionOnDuplicates)
Determines if duplicate additions of axioms to this ontology should result in an exception. |
int |
Request.size()
Returns the number of results in this ontology. |
int |
Cursor.size()
Returns the number of objects in the cursor. |
int |
Request.sizeAll()
Returns the number of results in this and all included ontologies. |
| Uses of KAON2Exception in org.semanticweb.kaon2.api.owl.elements |
|---|
| Methods in org.semanticweb.kaon2.api.owl.elements that throw KAON2Exception | |
|---|---|
java.util.Set<Annotation> |
OWLEntity.getAnnotations(Ontology ontology)
Returns the set of annotations of this entity. |
java.lang.Object |
OWLEntity.getAnnotationValue(Ontology ontology,
AnnotationProperty annotationProperty)
Returns the value of annotation for given annotation property. |
java.util.Map<AnnotationProperty,java.util.Set<java.lang.Object>> |
OWLEntity.getAnnotationValues(Ontology ontology)
Returns the set of annotations of this entity grouped by annotation properties. |
java.util.Set<java.lang.Object> |
OWLEntity.getAnnotationValues(Ontology ontology,
AnnotationProperty annotationProperty)
Returns the set of annotation values of this entity for given annotation property. |
java.util.Set<DataProperty> |
Description.getDataPropertiesFrom(Ontology ontology)
Returns the set of all data properties where this description is asserted as domain in an DataPropertyDomain axiom. |
java.util.Set<DataProperty> |
DataRange.getDataPropertiesTo(Ontology ontology)
Returns the set of all data properties where this data range is asserted as range in an DataPropertyRange axiom. |
java.util.Set<DataPropertyMember> |
DataProperty.getDataPropertyMembers(Ontology ontology)
Retruns the set of members in this data property. |
java.util.Set<DataPropertyMember> |
Individual.getDataPropertyMembersFrom(Ontology ontology)
Returns the members in a data property where this individual is the origin. |
java.lang.Object |
Individual.getDataPropertyValue(Ontology ontology,
DataProperty dataProperty)
Returns the value of the data property for this individual. |
java.util.Map<DataProperty,java.util.Set<java.lang.Object>> |
Individual.getDataPropertyValues(Ontology ontology)
Returns the values of data properties sorted by properties. |
java.util.Set<Description> |
Individual.getDescriptionsMemberOf(Ontology ontology)
Returns the set of descriptions that occur in a ClassMember axiom, where this individual is the individual. |
java.util.Set<Individual> |
Individual.getDifferentIndividuals(Ontology ontology)
Returns all individuals which are explicitly asserted in a DifferentIndividuals axiom as being different from this individual. |
java.util.Set<Description> |
Description.getDisjointDescriptions(Ontology ontology)
Returns all descriptions which are explicitly asserted in a disjointClasses axiom as disjoint from this description. |
java.util.Set<Description> |
ObjectProperty.getDomainDescriptions(Ontology ontology)
Returns the set of descriptions which are specified as domain in an ObjectPropertyDomain axiom. |
java.util.Set<Description> |
DataProperty.getDomainDescriptions(Ontology ontology)
Returns the set of descriptions which are specified as domain in an DataPropertyDomain axiom. |
java.util.Set<DataProperty> |
DataProperty.getEquivalentDataProperties(Ontology ontology)
Returns the set of data properties which as specified as exiovalent of this property in a EquivalentDataProperties axiom. |
java.util.Set<Description> |
Description.getEquivalentDescriptions(Ontology ontology)
Returns all descriptions which are explicitly asserted in an equivalentClasses axiom as equivalent to this description. |
java.util.Set<ObjectProperty> |
ObjectProperty.getEquivalentObjectProperties(Ontology ontology)
Returns the set of object properties which as specified as exiovalent of this property in a EquivalentObjectProperties axiom. |
java.util.Set<ObjectProperty> |
ObjectProperty.getInverseObjectProperties(Ontology ontology)
Returns the set of object properties which as specified as inverse to this property in an InverseObjectProperties axiom. |
java.util.Set<Individual> |
Description.getMemberIndividuals(Ontology ontology)
Returns all individuals which are explicitly asserted as members in this description. |
java.util.Set<ObjectProperty> |
Description.getObjectPropertiesFrom(Ontology ontology)
Returns the set of all object properties where this description is asserted as domain in an ObjectPropertyDomain axiom. |
java.util.Set<ObjectProperty> |
Description.getObjectPropertiesTo(Ontology ontology)
Returns the set of all object properties where this description is asserted as range in an ObjectPropertyRange axiom. |
java.util.Set<ObjectPropertyMember> |
ObjectProperty.getObjectPropertyMembers(Ontology ontology)
Retruns the set of members in this object property. |
java.util.Set<ObjectPropertyMember> |
Individual.getObjectPropertyMembersFrom(Ontology ontology)
Returns the members in an object property where this individual is the origin. |
java.util.Set<ObjectPropertyMember> |
Individual.getObjectPropertyMembersTo(Ontology ontology)
Returns the members in an object property where this individual is the target. |
Individual |
Individual.getObjectPropertyValue(Ontology ontology,
ObjectProperty objectProperty)
Returns the value of the object property for this individual. |
java.util.Map<ObjectProperty,java.util.Set<Individual>> |
Individual.getObjectPropertyValues(Ontology ontology)
Returns the values of object properties sorted by properties. |
java.util.Set<DataRange> |
DataProperty.getRangeDataRanges(Ontology ontology)
Returns the set of data ranges which are specified as range in an DataPropertyRange axiom. |
java.util.Set<Description> |
ObjectProperty.getRangeDescriptions(Ontology ontology)
Returns the set of descriptions which are specified as range in an ObjectPropertyRange axiom. |
java.util.Set<Individual> |
Individual.getSameIndividuals(Ontology ontology)
Returns all individuals which are explicitly asserted in a SameIndividual axiom as being same as this individual. |
java.util.Set<DataProperty> |
DataProperty.getSubDataProperties(Ontology ontology)
Returns the set of data properties which as specified as subproperties of this property in a SubDataPropertyOf axiom. |
java.util.Set<Description> |
Description.getSubDescriptions(Ontology ontology)
Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description. |
java.util.Set<ObjectProperty> |
ObjectProperty.getSubObjectProperties(Ontology ontology)
Returns the set of object properties which as specified as subproperties of this property in a SubObjectPropertyOf axiom. |
java.util.Set<DataProperty> |
DataProperty.getSuperDataProperties(Ontology ontology)
Returns the set of data properties which as specified as superproperties of this property in a SubDataPropertyOf axiom. |
java.util.Set<Description> |
Description.getSuperDescriptions(Ontology ontology)
Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description. |
java.util.Set<ObjectProperty> |
ObjectProperty.getSuperObjectProperties(Ontology ontology)
Returns the set of object properties which as specified as superproperties of this property in a SubObjectPropertyOf axiom. |
boolean |
ObjectProperty.isFunctional(Ontology ontology)
Checks whether this object property is specified as functional in some ObjectPropertyAttribute axiom. |
boolean |
DataProperty.isFunctional(Ontology ontology)
Checks whether this data property is specified as functional in some DataPropertyAttribute axiom. |
boolean |
ObjectProperty.isInverseFunctional(Ontology ontology)
Checks whether this object property is specified as inverse-functional in some ObjectPropertyAttribute axiom. |
boolean |
ObjectProperty.isSymmetric(Ontology ontology)
Checks whether this object property is specified as symmetric in some ObjectPropertyAttribute axiom. |
boolean |
ObjectProperty.isTransitive(Ontology ontology)
Checks whether this object property is specified as transitive in some ObjectPropertyAttribute axiom. |
| Uses of KAON2Exception in org.semanticweb.kaon2.api.reasoner |
|---|
| Methods in org.semanticweb.kaon2.api.reasoner that throw KAON2Exception | |
|---|---|
boolean |
Query.afterLast()
Returns true if the current stream is after the last tuple. |
void |
Query.close()
Closes the evaluation of the query. |
Query |
Reasoner.createQuery(java.util.List<Literal> queryLiterals,
java.util.List<Variable> distinguishedVariables)
Creates a conjunctive DL-safe query over the ontology owned by the reasoner. |
Query |
Reasoner.createQuery(java.util.List<Literal> queryLiterals,
java.util.List<Variable> distinguishedVariables,
java.util.List<Rule> additionalRules,
java.util.List<Literal> constructPattern)
Creates a conjunctive DL-safe query over the ontology owned by the reasoner. |
Query |
Reasoner.createQuery(Literal[] queryLiterals,
Variable[] distinguishedVariables)
Creates a conjunctive DL-safe query over the ontology owned by the reasoner. |
Query |
Reasoner.createQuery(Literal[] queryLiterals,
Variable[] distinguishedVariables,
Rule[] additionalRules,
Literal[] constructPattern)
Creates a conjunctive DL-safe query over the ontology owned by the reasoner. |
Query |
Reasoner.createQuery(Predicate predicate)
Creates a conjunctive DL-safe query which returns the complete extension of the supplied predicate. |
Query |
Reasoner.createQuerySPARQL(Namespaces namespaces,
java.lang.String queryText)
Creates a query object from a SPARQL query text. |
void |
Query.doNotSortResults()
Cancels any sorting of the result. |
boolean |
Reasoner.equivalent(Description description1,
Description description2)
Checks if descriptions are equivalent. |
void |
Query.executeStoreResults(Ontology resultOntology)
Executes the query by evaluating the construct pattern and by storing the result into supplied ontology. |
int |
Query.getNumberOfTuples()
Returns the number of tuples in the result. |
java.lang.Object |
Reasoner.getParameter(java.lang.String parameterName)
Returns the parameter of the reasoner. |
java.util.List<Rule> |
Reasoner.getReductionToDisjunctiveDatalog(boolean processABox,
boolean unfoldNewPredicates,
boolean unfoldNonAtomicDescriptionsInABox,
boolean includeRules)
Reduces the ontology to disjunctive datalog and returns thus obtained rules. |
java.util.List<Rule> |
Reasoner.getReductionToDLP(boolean processABox,
boolean unfoldNewPredicates,
boolean unfoldNonAtomicDescriptionsInABox,
boolean includeRules)
Reduces to ontology to disjunctive datalog, provided that it is in the DLP fragment. |
SubsumptionHierarchy |
Reasoner.getSubsumptionHierarchy()
Computes the subsumption hierarchy for the knowledge base managed by this reasoner. |
void |
Reasoner.interrupt()
Interrupts the current reasoning operation conducted by this reasoner. |
void |
Query.interrupt()
Equivalent to getReasoner().interrupt(). |
boolean |
Reasoner.isSatisfiable()
Checks if the knowledge base is satisfiable. |
boolean |
Reasoner.isSatisfiable(Description description)
Checks if a description is satisfiable w.r.t. the TBox and the RBox. |
boolean |
Reasoner.isTBoxRBoxSatisfiable()
Checks if the TBox and RBox of an ontology are satisfiable (i.e. it takes only terminological information into accout). |
void |
Query.next()
Moves the cursor of the stream to the next position. |
void |
Query.open()
Starts the evaluation of the query. |
void |
Query.setDistinct(boolean distinct)
Ensures that duplicates are removed from the query result. |
void |
Query.setLimit(int limit)
Sets the limit on the number of results returned. |
void |
Query.setOffset(int offset)
Sets the number of tuples that are skipped after the query is executed. |
void |
Reasoner.setParameter(java.lang.String parameterName,
java.lang.Object parameterValue)
Sets the parameter of the reasoner. |
void |
Reasoner.setTrace(java.lang.String target,
boolean state,
java.io.PrintWriter out,
Namespaces namespaces)
Activates or deactivates tracing in this reasoner. |
void |
Query.sortResults(int[] sortedPositions)
Ensures that the results are sorted. |
void |
Query.sortResults(int[] sortedPositions,
java.util.Comparator[] comparators)
Ensures that the results are sorted. |
boolean |
Reasoner.subsumedBy(Description subDescription,
Description superDescription)
Checks if one description subsumes the other w.r.t. the knowledge base. |
java.lang.Object[] |
Query.tupleBuffer()
Returns the buffer containing the current tuple of the operator. |
| Uses of KAON2Exception in org.semanticweb.kaon2.extensionapi.builtins |
|---|
| Methods in org.semanticweb.kaon2.extensionapi.builtins that throw KAON2Exception | |
|---|---|
abstract java.lang.Object |
ExpressionEvaluator.evaluate(java.lang.Object[] boundValues)
Invoked to evaluate the operation on given objects. |
| Uses of KAON2Exception in org.semanticweb.kaon2.extensionapi.datatype |
|---|
| Methods in org.semanticweb.kaon2.extensionapi.datatype that throw KAON2Exception | |
|---|---|
java.lang.Object |
DatatypeHandler.parseObject(java.lang.String objectValue)
Creates an object of this datatype having the given string representation. |
static java.lang.Object |
DatatypeManager.parseObject(java.lang.String objectValue,
java.lang.String datatypeURI)
Parses the object with the given datatype URI. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||