index-all.html

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

<DD>&nbsp;
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula...)"><B>conjunction(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/KAON2Factory.html#conjunction(org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Formula)"><B>conjunction(Formula, 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#conjunction(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Formula)"><B>conjunction(Object, Formula, 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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Conjunction</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A><DD>A formula that represents the conjunction of other formulae.<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Factory.html#constant(java.lang.Object)"><B>constant(Object)</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/Constant.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Constant</B></A> - Interface in <A HREF="./org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A><DD>Represents a constant in a literal.<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#containsAxiom(org.semanticweb.kaon2.api.Axiom, boolean)"><B>containsAxiom(Axiom, boolean)</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>Checks whether given axiom is contained in this ontology.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#containsAxiom(org.semanticweb.kaon2.api.Axiom)"><B>containsAxiom(Axiom)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Checks whether given axiom is contained in this ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#containsEntity(org.semanticweb.kaon2.api.Entity, boolean)"><B>containsEntity(Entity, boolean)</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>Checks whether given entity is contained in this ontology.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#containsEntity(org.semanticweb.kaon2.api.Entity)"><B>containsEntity(Entity)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Checks whether given entity is contained in this ontology.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Literal.html#containsVariable(org.semanticweb.kaon2.api.logic.Variable)"><B>containsVariable(Variable)</B></A> - 
Method in interface org.semanticweb.kaon2.api.logic.<A HREF="./org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A>
<DD>Returns <code>true</code> if this literal contains the supplied variable.
<DT><A HREF="./org/semanticweb/kaon2/api/logic/Term.html#containsVariable(org.semanticweb.kaon2.api.logic.Variable)"><B>containsVariable(Variable)</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 <code>true</code> if this term contains the supplied variable.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#createAxiomRequest()"><B>createAxiomRequest()</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>Returns an object that can be used to retrieve axioms.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#createAxiomRequest(java.lang.Class)"><B>createAxiomRequest(Class&lt;E&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>Returns an object that can be used to retrieve axioms of given type.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createAxiomRequest()"><B>createAxiomRequest()</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Returns an object that can be used to retrieve axioms.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createAxiomRequest(java.lang.Class)"><B>createAxiomRequest(Class&lt;E&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Returns an object that can be used to retrieve axioms of given type.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createAxiomRequest()"><B>createAxiomRequest()</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>Returns an object that can be used to retrieve axioms.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createAxiomRequest(java.lang.Class)"><B>createAxiomRequest(Class&lt;E&gt;)</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>Returns an object that can be used to retrieve axioms of given type.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#createEntityRequest()"><B>createEntityRequest()</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>Returns an object that can be used to retrieve existing entities.
<DT><A HREF="./org/semanticweb/kaon2/api/Ontology.html#createEntityRequest(java.lang.Class)"><B>createEntityRequest(Class&lt;E&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>Returns an object that can be used to retrieve existing entities of given type.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createEntityRequest()"><B>createEntityRequest()</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Returns an object that can be used to retrieve existing entities.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createEntityRequest(java.lang.Class)"><B>createEntityRequest(Class&lt;E&gt;)</B></A> - 
Method in interface org.semanticweb.kaon2.extensionapi.formats.<A HREF="./org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html" title="interface in org.semanticweb.kaon2.extensionapi.formats">OntologyContents</A>
<DD>Returns an object that can be used to retrieve existing entities of given type.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createEntityRequest()"><B>createEntityRequest()</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>Returns an object that can be used to retrieve existing entities.
<DT><A HREF="./org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createEntityRequest(java.lang.Class)"><B>createEntityRequest(Class&lt;E&gt;)</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>Returns an object that can be used to retrieve existing entities of given type.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#createNonPreservedAxiomsCursor()"><B>createNonPreservedAxiomsCursor()</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>Creates a cursor over the axioms whose formating is not being preserved.
<DT><A HREF="./org/semanticweb/kaon2/api/KAON2Connection.html#createOntology(java.lang.String, java.util.Map)"><B>createOntology(String, Map&lt;String, Object&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>Creates an ontology with given physical URI.
<DT><A HREF="./org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#createPreservedAxiomsCursor()"><B>createPreservedAxiomsCursor()</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>Creates a cursor over the axioms whose formating is being preserved.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Variable[], org.semanticweb.kaon2.api.OntologyChangeEvent[], org.semanticweb.kaon2.api.logic.FactFormula[])"><B>createQuery(Formula, Variable[], OntologyChangeEvent[], FactFormula[])</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>Creates a DL-safe query over the ontology owned by the reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula, java.util.List, java.util.List, java.util.List)"><B>createQuery(Formula, List&lt;Variable&gt;, List&lt;OntologyChangeEvent&gt;, List&lt;FactFormula&gt;)</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>Creates a DL-safe query over the ontology owned by the reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, org.semanticweb.kaon2.api.OntologyChangeEvent[])"><B>createQuery(QueryDefinition, OntologyChangeEvent[])</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>Creates a DL-safe query from the <code>QueryDefinition</code> object.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, java.util.List)"><B>createQuery(QueryDefinition, List&lt;OntologyChangeEvent&gt;)</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>Creates a DL-safe query from the <code>QueryDefinition</code> object.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition)"><B>createQuery(QueryDefinition)</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>Creates a DL-safe query from the <code>QueryDefinition</code> object.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula[], org.semanticweb.kaon2.api.logic.Variable[])"><B>createQuery(Formula[], Variable[])</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>Creates a DL-safe query over the ontology owned by the reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(java.util.List, java.util.List)"><B>createQuery(List&lt;? extends Formula&gt;, List&lt;Variable&gt;)</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>Creates a DL-safe query over the ontology owned by the reasoner.
<DT><A HREF="./org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Predicate)"><B>createQuery(Predicate)</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>