📄 objectproperty.html
字号:
Checks whether this object property is specified as functional in some ObjectPropertyAttribute axiom.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectProperty.html#isInverseFunctional(org.semanticweb.kaon2.api.Ontology)">isInverseFunctional</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)</CODE>
<BR>
Checks whether this object property is specified as inverse-functional in some ObjectPropertyAttribute axiom.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectProperty.html#isSymmetric(org.semanticweb.kaon2.api.Ontology)">isSymmetric</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)</CODE>
<BR>
Checks whether this object property is specified as symmetric in some ObjectPropertyAttribute axiom.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectProperty.html#isTransitive(org.semanticweb.kaon2.api.Ontology)">isTransitive</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)</CODE>
<BR>
Checks whether this object property is specified as transitive in some ObjectPropertyAttribute axiom.</TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.owl.elements.OWLEntity"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.owl.elements.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/OWLEntity.html" title="interface in org.semanticweb.kaon2.api.owl.elements">OWLEntity</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/OWLEntity.html#getEntityAnnotations(org.semanticweb.kaon2.api.Ontology)">getEntityAnnotations</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/OWLEntity.html#getEntityAnnotationValue(org.semanticweb.kaon2.api.Ontology, org.semanticweb.kaon2.api.owl.elements.AnnotationProperty)">getEntityAnnotationValue</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/OWLEntity.html#getEntityAnnotationValues(org.semanticweb.kaon2.api.Ontology)">getEntityAnnotationValues</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/OWLEntity.html#getEntityAnnotationValues(org.semanticweb.kaon2.api.Ontology, org.semanticweb.kaon2.api.owl.elements.AnnotationProperty)">getEntityAnnotationValues</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.Entity"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Entity.html" title="interface in org.semanticweb.kaon2.api">Entity</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/Entity.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/Entity.html#getURI()">getURI</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/Entity.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.owl.elements.ObjectPropertyExpression"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.owl.elements.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">ObjectPropertyExpression</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html#getInverseObjectProperty()">getInverseObjectProperty</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html#getSimplified()">getSimplified</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.logic.Predicate"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from 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></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#getArity()">getArity</A>, <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE></TD>
</TR>
</TABLE>
<P>
<!-- ============ METHOD DETAIL ========== -->
<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="isFunctional(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
isFunctional</H3>
<PRE>
boolean <B>isFunctional</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Checks whether this object property is specified as functional in some ObjectPropertyAttribute axiom.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD><code>true</code> if this object property is functional
<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="isInverseFunctional(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
isInverseFunctional</H3>
<PRE>
boolean <B>isInverseFunctional</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Checks whether this object property is specified as inverse-functional in some ObjectPropertyAttribute axiom.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD><code>true</code> if this object property is inverse-functional
<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="isSymmetric(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
isSymmetric</H3>
<PRE>
boolean <B>isSymmetric</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Checks whether this object property is specified as symmetric in some ObjectPropertyAttribute axiom.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD><code>true</code> if this object property is symmetric
<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="isTransitive(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
isTransitive</H3>
<PRE>
boolean <B>isTransitive</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Checks whether this object property is specified as transitive in some ObjectPropertyAttribute axiom.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD><code>true</code> if this object property is transitive
<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="getInverseObjectProperties(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getInverseObjectProperties</H3>
<PRE>
java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">ObjectPropertyExpression</A>> <B>getInverseObjectProperties</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the set of object properties which as specified as inverse to this property in an InverseObjectProperties axiom.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD>the set of inverse properties
<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="getSuperObjectProperties(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getSuperObjectProperties</H3>
<PRE>
java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">ObjectPropertyExpression</A>> <B>getSuperObjectProperties</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -