ontology.html

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

</DD>
</DL>
<HR>

<A NAME="accept(org.semanticweb.kaon2.api.KAON2Visitor)"><!-- --></A><H3>
accept</H3>
<PRE>
java.lang.Object <B>accept</B>(<A HREF="../../../../org/semanticweb/kaon2/api/KAON2Visitor.html" title="interface in org.semanticweb.kaon2.api">KAON2Visitor</A>&nbsp;visitor)</PRE>
<DL>
<DD>Accepts a visitor for this object.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>visitor</CODE> - the visitor for this object
<DT><B>Returns:</B><DD>the return value of the visitor (can be <code>null</code>)</DL>
</DD>
</DL>
<HR>

<A NAME="getAnnotations()"><!-- --></A><H3>
getAnnotations</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>&gt; <B>getAnnotations</B>()
                                         throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the annotations of this ontology.
<P>
<DD><DL>

<DT><B>Returns:</B><DD>the set of annotations of this ontology
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="addAnnotation(org.semanticweb.kaon2.api.owl.elements.Annotation)"><!-- --></A><H3>
addAnnotation</H3>
<PRE>
void <B>addAnnotation</B>(<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>&nbsp;annotation)
                   throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Adds an annotation to the ontology.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>annotation</CODE> - the annotation
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="removeAnnotation(org.semanticweb.kaon2.api.owl.elements.Annotation)"><!-- --></A><H3>
removeAnnotation</H3>
<PRE>
void <B>removeAnnotation</B>(<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>&nbsp;annotation)
                      throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Removes an annotation from an ontology.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>annotation</CODE> - the annotation
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error (e.g. if value does not exist)</DL>
</DD>
</DL>
<HR>

<A NAME="applyChanges(java.util.List)"><!-- --></A><H3>
applyChanges</H3>
<PRE>
void <B>applyChanges</B>(java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>&gt;&nbsp;changes)
                  throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Applies a list of changes to the ontology.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>changes</CODE> - the set of changes applied to the ontology
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="replaceTerm(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.ProgressListener)"><!-- --></A><H3>
replaceTerm</H3>
<PRE>
void <B>replaceTerm</B>(<A HREF="../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;termToReplace,
                 <A HREF="../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;replaceWith,
                 <A HREF="../../../../org/semanticweb/kaon2/api/ProgressListener.html" title="interface in org.semanticweb.kaon2.api">ProgressListener</A>&nbsp;progressListener)
                 throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Replaces all occurrences of one term in this ontology with another term. This method is useful
 for implementing a renaming operation. The optional progress listener supports only one phase:
 REPLACING_TERMS.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>termToReplace</CODE> - the term which is being replaced<DD><CODE>replaceWith</CODE> - the new term that replaces the old one<DD><CODE>progressListener</CODE> - receives information about the progress (can be <code>null</code>)
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="occursInAxioms(org.semanticweb.kaon2.api.logic.Term, boolean)"><!-- --></A><H3>
occursInAxioms</H3>
<PRE>
boolean <B>occursInAxioms</B>(<A HREF="../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;term,
                       boolean&nbsp;checkImportedOntologies)
                       throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Checks whether the supplied term occurs in one of the axioms of this ontology.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>term</CODE> - the term to check<DD><CODE>checkImportedOntologies</CODE> - if <code>true</code>, all imported ontologies are checked as well
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="addAxiom(org.semanticweb.kaon2.api.Axiom)"><!-- --></A><H3>
addAxiom</H3>
<PRE>
void <B>addAxiom</B>(<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&nbsp;axiom)
              throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Adds an axiom to an ontology. This is actually just a short-cut to applyChanges().
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>axiom</CODE> - the axiom to be added
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="addAxioms(java.util.Collection)"><!-- --></A><H3>
addAxioms</H3>
<PRE>
void <B>addAxioms</B>(java.util.Collection&lt;<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&gt;&nbsp;axioms)
               throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Adds a collection of axioms to an ontology. This is actually just a short-cut to applyChanges().
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>axioms</CODE> - the axioms to be added
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="removeAxiom(org.semanticweb.kaon2.api.Axiom)"><!-- --></A><H3>
removeAxiom</H3>
<PRE>
void <B>removeAxiom</B>(<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&nbsp;axiom)
                 throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Removes an axiom from an ontology. This is actually just a short-cut to applyChanges().
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>axiom</CODE> - the axiom to be removed
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="removeAxioms(java.util.Collection)"><!-- --></A><H3>
removeAxioms</H3>
<PRE>
void <B>removeAxioms</B>(java.util.Collection&lt;<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&gt;&nbsp;axioms)
                  throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Removes a collection of axioms from an ontology. This is actually just a short-cut to applyChanges().
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>axioms</CODE> - the axioms to be removed
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="bulkAddFacts(java.util.List, java.util.List)"><!-- --></A><H3>
bulkAddFacts</H3>
<PRE>
void <B>bulkAddFacts</B>(java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>&gt;&nbsp;query,
                  java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>&gt;&nbsp;add)
                  throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>This method provides means for adding a batch of facts based on the existing facts. For example, this method allows to
 add all instances of a concept C to the concept D as well. In doing so, it does not require creating all the assertions
 manually; rather, the update will be executed in the best possible way to make the update as perofrmant as possible.
 
 The method takes two arrays of <code>FactFormula</code> objects. The parameter <code>query</code> can contain facts that
 are matched in the existing fact base of this ontology. To achieve the update outlined above, the query will be a literal
 of the form C(x). The parameter <code>add</code> specifies the facts that shall be asserted for each valuation of variables
 produced by <code>query</code>. To achieve the update outlined above, the <code>add</code> parameter will be a literal D(x).
 
 The semantics of the update is as follows. The query facts will be matched against the facts in this ontology. In doing so,
 the facts from the imported ontologies shall not be taken into account. Also, this matching will not involve any reasoning;
 in other words, the axioms from the ontology will not be taken into account. Rather, this matching can be understood as simple
 syntactic matching of the supplied facts (that can be possibly negated). For each valuation of parameters determined by
 <code>query</code>, the facts in <code>add</code> will be instantiated and added to the ontology. By definition, the facts are
 added after the query is evaluated; hence, any additions of the facts should not affect further matches.
 
 This method also allows to manipulate OWL facts. The problem there is, however, that OWL facts are not formulae. Therefore, this
 method by convention uses literals to represent OWL facts. For example, the literal C(x) where C is an <code>OWLClass</code>
 object is interpreted as a class membership axiom; similar convention is followed to represent role and equality axioms.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>query</CODE> - the facts to be queried<DD><CODE>add</CODE> - the facts to be added
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="bulkRemoveFacts(java.util.List, java.util.List)"><!-- --></A><H3>
bulkRemoveFacts</H3>
<PRE>
void <B>bulkRemoveFacts</B>(java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>&gt;&nbsp;query,
                     java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>&gt;&nbsp;remove)
                     throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>This method allows for removing a batch of facts based on the existing facts. This method works in the same way as <code>bulkAddFacts()</code>
 with the difference that the facts are removed and not added.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>query</CODE> - the facts to be queried<DD><CODE>remove</CODE> - the facts to be removed
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="removeAllAxioms()"><!-- --></A><H3>
removeAllAxioms</H3>
<PRE>
void <B>removeAllAxioms</B>()
                     throws <A HREF="../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>