index-all.html

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

<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#applyChanges(java.util.List)"><B>applyChanges(List&lt;OntologyChangeEvent&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>Applies a list of changes to the ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api"><B>Axiom</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/package-summary.html">org.semanticweb.kaon2.api</A><DD>Represents an axiom in the ontology.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#axiom(java.lang.String, org.semanticweb.kaon2.api.Namespaces)"><B>axiom(String, Namespaces)</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/KAON2Factory.html#axiom(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)"><B>axiom(Reader, Namespaces)</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/extensionapi/formats/ImportListener.html#axiomRead(org.semanticweb.kaon2.api.Axiom, java.lang.String)"><B>axiomRead(Axiom, String)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/ImportListener.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">ImportListener</A>
<DD>Called when an axiom has been read from the input.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#axioms(java.lang.String, org.semanticweb.kaon2.api.Namespaces)"><B>axioms(String, Namespaces)</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/KAON2Factory.html#axioms(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)"><B>axioms(Reader, Namespaces)</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/KAON2Factory.html#axiomsIterator(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)"><B>axiomsIterator(Reader, Namespaces)</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;
</DL>
<HR>
<A NAME="_B_"><!-- --></A><H2>
<B>B</B></H2>
<DL>
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html#beforeFirst()"><B>beforeFirst()</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 before the first formatting element
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#bulkAddFacts(java.util.List, java.util.List)"><B>bulkAddFacts(List&lt;FactFormula&gt;, List&lt;FactFormula&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>This method provides means for adding a batch of facts based on the existing facts.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#bulkRemoveFacts(java.util.List, java.util.List)"><B>bulkRemoveFacts(List&lt;FactFormula&gt;, List&lt;FactFormula&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>This method allows for removing a batch of facts based on the existing facts.
</DL>
<HR>
<A NAME="_C_"><!-- --></A><H2>
<B>C</B></H2>
<DL>
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#cancelPendingImportSave()"><B>cancelPendingImportSave()</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>Cancels the import or save operation that is pending on this ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html#cancelPendingOpen()"><B>cancelPendingOpen()</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>Cancels the open operation that is pending on this connection.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#canPreserveFormattingForAxiom(org.semanticweb.kaon2.api.Axiom)"><B>canPreserveFormattingForAxiom(Axiom)</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>Returns <code>true</code> if formatting can be preserved for ths supplied axiom.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#checkInterrupted()"><B>checkInterrupted()</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.rewriter.<A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html" title="interface in org.semanticweb.kaon2.extensionapi.rewriter">RewriterContext</A>
<DD>Throws InterruptedException if the transformer has been interrupted.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#checkReasoningProperty(java.lang.String, java.lang.Object)"><B>checkReasoningProperty(String, Object)</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>Checks a certain property of reasoning over axioms of the current ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#classicalNegation(org.semanticweb.kaon2.api.logic.Formula)"><B>classicalNegation(Formula)</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/KAON2Factory.html#classicalNegation(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula)"><B>classicalNegation(Object, Formula)</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/logic/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic"><B>ClassicalNegation</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A><DD>Represents the classical negation of a formula.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#classMember(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)"><B>classMember(Description, 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/KAON2Factory.html#classMember(java.util.Collection, org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)"><B>classMember(Collection&lt;Annotation&gt;, Description, 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/KAON2Factory.html#classMember(org.semanticweb.kaon2.api.owl.elements.Annotation[], org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)"><B>classMember(Annotation[], Description, 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/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ClassMember</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/owl/axioms/package-summary.html">org.semanticweb.kaon2.api.owl.axioms</A><DD>Represents an axiom specifying that an individual is a member of a description.<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#clear()"><B>clear()</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>Clear the formatting for all objects.
<DT><A HREF="./org/semanticweb/kaon2/api/Cursor.html#close()"><B>close()</B></A> - 
Method in interface org.semanticweb.kaon2.api.<A HREF="./org/semanticweb/kaon2/api/Cursor.html" title="interface in org.semanticweb.kaon2.api">Cursor</A>
<DD>Closes the cursor and releases all resources used.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html#close()"><B>close()</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>Closes the cursor, unlocks the ontology, and releases all resources used.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html#close()"><B>close()</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>Closes this connection.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Query.html#close()"><B>close()</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>Closes the evaluation of the query.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html#closeOntologies(java.util.Set)"><B>closeOntologies(Set&lt;Ontology&gt;)</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>Closes the ontologies in the specified set.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/PredicateSymbol.html#CONCRETE_SUCCESSOR_PREDICATE_URI_PREFIX"><B>CONCRETE_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 concrete domain.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.util.Collection)"><B>conjunction(Collection&lt;? extends Formula&gt;)</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/KAON2Factory.html#conjunction(java.lang.Object, java.util.Collection)"><B>conjunction(Object, Collection&lt;? extends Formula&gt;)</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/KAON2Factory.html#conjunction(org.semanticweb.kaon2.api.logic.Formula...)"><B>conjunction(Formula...)</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>