index-all.html

本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理

<DT><A HREF="./org/semanticweb/kaon2/api/Namespaces.html#abbreviateAsNamespaceNoDefault(java.lang.String, java.lang.String)"><B>abbreviateAsNamespaceNoDefault(String, String)</B></A> - 
Method in class org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>
<DD>Abbreviates given URI into the form prefix:local_name if possible.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/PredicateSymbol.html#ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX"><B>ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX</B></A> - 
Static variable in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic">PredicateSymbol</A>
<DD>The URI prefix for the predicates encoding successors from the abstract domain.
<DT><A HREF="./org/semanticweb/kaon2/api/Axiom.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/Entity.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Entity.html" title="interface in org.semanticweb.kaon2.api">Entity</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/flogic/FMethodCall.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.flogic.<A HREF="./org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>
<DD>Accepts a visitor.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html" title="interface in org.semanticweb.kaon2.api">KAON2Connection</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Predicate.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Term.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/Annotation.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.owl.elements.<A HREF="./org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/DataRange.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.owl.elements.<A HREF="./org/semanticweb/kaon2/api/owl/elements/DataRange.html" title="interface in org.semanticweb.kaon2.api.owl.elements">DataRange</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/Description.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in interface org.semanticweb.kaon2.api.owl.elements.<A HREF="./org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>
<DD>Accepts a visitor for this object.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Query.UntypedPredicate.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)"><B>accept(KAON2Visitor)</B></A> - 
Method in class org.semanticweb.kaon2.api.reasoner.<A HREF="./org/semanticweb/kaon2/api/reasoner/Query.UntypedPredicate.html" title="class in org.semanticweb.kaon2.api.reasoner">Query.UntypedPredicate</A>
<DD>&nbsp;
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#addAnnotation(org.semanticweb.kaon2.api.owl.elements.Annotation)"><B>addAnnotation(Annotation)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Adds an annotation to the ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#addAxiom(org.semanticweb.kaon2.api.Axiom)"><B>addAxiom(Axiom)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Adds an axiom to an ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#addAxiomRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.AxiomProcessingStage)"><B>addAxiomRewriterFactory(RewriterFactory&lt;Axiom, Axiom&gt;, Reasoner.AxiomProcessingStage)</B></A> - 
Method in interface org.semanticweb.kaon2.api.reasoner.<A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html" title="interface in org.semanticweb.kaon2.api.reasoner">Reasoner</A>
<DD>Registers a RewriterFactory for axioms with this reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#addAxioms(java.util.Collection)"><B>addAxioms(Collection&lt;Axiom&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Adds a collection of axioms to an ontology.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/datatype/Datatypes.html#addDatatypeDisjointness(java.lang.String, java.lang.String)"><B>addDatatypeDisjointness(String, String)</B></A> - 
Static method in class org.semanticweb.kaon2.extensionapi.datatype.<A HREF="./org/semanticweb/kaon2/extensionapi/datatype/Datatypes.html" title="class in org.semanticweb.kaon2.extensionapi.datatype">Datatypes</A>
<DD>Specifies that the two datatypes are disjoint.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/datatype/Datatypes.html#addDatatypeInclusion(java.lang.String, java.lang.String)"><B>addDatatypeInclusion(String, String)</B></A> - 
Static method in class org.semanticweb.kaon2.extensionapi.datatype.<A HREF="./org/semanticweb/kaon2/extensionapi/datatype/Datatypes.html" title="class in org.semanticweb.kaon2.extensionapi.datatype">Datatypes</A>
<DD>Specifies that one datatype is contained in another datatype.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#addOntologyListener(org.semanticweb.kaon2.api.OntologyListener)"><B>addOntologyListener(OntologyListener)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Adds a listener to this ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#addRuleRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.RuleProcessingStage)"><B>addRuleRewriterFactory(RewriterFactory&lt;Rule, Rule&gt;, Reasoner.RuleProcessingStage)</B></A> - 
Method in interface org.semanticweb.kaon2.api.reasoner.<A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html" title="interface in org.semanticweb.kaon2.api.reasoner">Reasoner</A>
<DD>Registers a RewriterFactory for rules with this reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#addToImports(org.semanticweb.kaon2.api.Ontology)"><B>addToImports(Ontology)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>
<DD>Adds specified ontology to the set of ontologies imported in this ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#addWhitespaceAfter(org.semanticweb.kaon2.api.Axiom, java.lang.String)"><B>addWhitespaceAfter(Axiom, String)</B></A> - 
Method in interface org.semanticweb.kaon2.api.formatting.<A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html" title="interface in org.semanticweb.kaon2.api.formatting">OntologyFormatting</A>
<DD>Adds a whitespace formatting element after the given axiom.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#addWhitespaceBefore(org.semanticweb.kaon2.api.Axiom, java.lang.String)"><B>addWhitespaceBefore(Axiom, String)</B></A> - 
Method in interface org.semanticweb.kaon2.api.formatting.<A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html" title="interface in org.semanticweb.kaon2.api.formatting">OntologyFormatting</A>
<DD>Adds a whitespace formatting element before the given axiom.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html#afterLast()"><B>afterLast()</B></A> - 
Method in interface org.semanticweb.kaon2.api.formatting.<A HREF="./org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html" title="interface in org.semanticweb.kaon2.api.formatting">FormattingElementCursor</A>
<DD>Returns <code>true</code> if this iterator is after the last formatting element.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Query.html#afterLast()"><B>afterLast()</B></A> - 
Method in interface org.semanticweb.kaon2.api.reasoner.<A HREF="./org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A>
<DD>Returns <code>true</code> if the current stream is after the last tuple.
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements"><B>Annotation</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/owl/elements/package-summary.html">org.semanticweb.kaon2.api.owl.elements</A><DD>The base interface for both constant and individual annotations.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#annotationByConstant(org.semanticweb.kaon2.api.owl.elements.AnnotationProperty, org.semanticweb.kaon2.api.logic.Constant)"><B>annotationByConstant(AnnotationProperty, Constant)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html" title="interface in org.semanticweb.kaon2.api">KAON2Factory</A>
<DD>&nbsp;
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/AnnotationByConstant.html" title="interface in org.semanticweb.kaon2.api.owl.elements"><B>AnnotationByConstant</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/owl/elements/package-summary.html">org.semanticweb.kaon2.api.owl.elements</A><DD>Represents annotations that have constant value.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#annotationByIndividual(org.semanticweb.kaon2.api.owl.elements.AnnotationProperty, org.semanticweb.kaon2.api.owl.elements.Individual)"><B>annotationByIndividual(AnnotationProperty, Individual)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html" title="interface in org.semanticweb.kaon2.api">KAON2Factory</A>
<DD>&nbsp;
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/AnnotationByIndividual.html" title="interface in org.semanticweb.kaon2.api.owl.elements"><B>AnnotationByIndividual</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/owl/elements/package-summary.html">org.semanticweb.kaon2.api.owl.elements</A><DD>Represents annotations that have individual value.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#annotationProperty(java.lang.String)"><B>annotationProperty(String)</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html" title="interface in org.semanticweb.kaon2.api">KAON2Factory</A>
<DD>&nbsp;
<DT><A HREF="./org/semanticweb/kaon2/api/owl/elements/AnnotationProperty.html" title="interface in org.semanticweb.kaon2.api.owl.elements"><B>AnnotationProperty</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/owl/elements/package-summary.html">org.semanticweb.kaon2.api.owl.elements</A><DD>Represents an annotation property in an ontology.<DT><A HREF="./org/semanticweb/kaon2/extensionapi/jdbc/DatabaseSpecifics.html#appendSQLValue(java.lang.Object, java.lang.StringBuffer)"><B>appendSQLValue(Object, StringBuffer)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.jdbc.<A HREF="./org/semanticweb/kaon2/extensionapi/jdbc/DatabaseSpecifics.html" title="interface in org.semanticweb.kaon2.extensionapi.jdbc">DatabaseSpecifics</A>
<DD>Appends a value to the buffer.
<DT><A HREF="./org/semanticweb/kaon2/api/flogic/FMethodCall.html#apply(java.util.Map)"><B>apply(Map&lt;Variable, Term&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.api.flogic.<A HREF="./org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>
<DD>Returns the method call obtained by replacing free variables according to the specified substitution.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Formula.html#apply(java.util.Map)"><B>apply(Map&lt;Variable, Term&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>
<DD>Returns the formula obtained by replacing free variables according to the specified substitution.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Term.html#apply(java.util.Map)"><B>apply(Map&lt;Variable, Term&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>
<DD>Returns the term obtained by replacing free variables according to the specified substitution.