📄 axiom.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--NewPage-->
<HTML>
<HEAD>
<!-- Generated by javadoc (build 1.6.0_02) on Mon Jan 14 15:06:25 GMT 2008 -->
<TITLE>
Axiom
</TITLE>
<META NAME="date" CONTENT="2008-01-14">
<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../stylesheet.css" TITLE="Style">
<SCRIPT type="text/javascript">
function windowTitle()
{
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Axiom";
}
}
</SCRIPT>
<NOSCRIPT>
</NOSCRIPT>
</HEAD>
<BODY BGCOLOR="white" onload="windowTitle();">
<HR>
<!-- ========= START OF TOP NAVBAR ======= -->
<A NAME="navbar_top"><!-- --></A>
<A HREF="#skip-navbar_top" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_top_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="class-use/Axiom.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
PREV CLASS
<A HREF="../../../../org/semanticweb/kaon2/api/Cursor.html" title="interface in org.semanticweb.kaon2.api"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../index.html?org/semanticweb/kaon2/api/Axiom.html" target="_top"><B>FRAMES</B></A>
<A HREF="Axiom.html" target="_top"><B>NO FRAMES</B></A>
<SCRIPT type="text/javascript">
<!--
if(window==top) {
document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');
}
//-->
</SCRIPT>
<NOSCRIPT>
<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>
</FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
SUMMARY: NESTED | FIELD | CONSTR | <A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL: FIELD | CONSTR | <A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_top"></A>
<!-- ========= END OF TOP NAVBAR ========= -->
<HR>
<!-- ======== START OF CLASS DATA ======== -->
<H2>
<FONT SIZE="-1">
org.semanticweb.kaon2.api</FONT>
<BR>
Interface Axiom</H2>
<DL>
<DT><B>All Known Subinterfaces:</B> <DD><A HREF="../../../../org/semanticweb/kaon2/api/logic/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic">ClassicalNegation</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ClassMember</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyAttribute.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DataPropertyAttribute</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyDomain.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DataPropertyDomain</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DataPropertyMember</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyRange.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DataPropertyRange</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/Declaration.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">Declaration</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/DefaultNegation.html" title="interface in org.semanticweb.kaon2.api.logic">DefaultNegation</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DifferentIndividuals.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DifferentIndividuals</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointClasses.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DisjointClasses</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointDataProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DisjointDataProperties</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DisjointObjectProperties</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointUnion.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DisjointUnion</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Disjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Disjunction</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/EntityAnnotation.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EntityAnnotation</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Equivalence.html" title="interface in org.semanticweb.kaon2.api.logic">Equivalence</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentClasses.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentClasses</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentDataProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentDataProperties</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentObjectProperties</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Exists.html" title="interface in org.semanticweb.kaon2.api.logic">Exists</A>, <A HREF="../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>, <A HREF="../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Implication.html" title="interface in org.semanticweb.kaon2.api.logic">Implication</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/InverseObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">InverseObjectProperties</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeDataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">NegativeDataPropertyMember</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">NegativeObjectPropertyMember</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyAttribute.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyAttribute</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyDomain.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyDomain</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyMember</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyRange.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyRange</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A>, <A HREF="../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/SameIndividual.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SameIndividual</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/SubClassOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubClassOf</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/SubDataPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubDataPropertyOf</A>, <A HREF="../../../../org/semanticweb/kaon2/api/owl/axioms/SubObjectPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubObjectPropertyOf</A></DD>
</DL>
<HR>
<DL>
<DT><PRE>public interface <B>Axiom</B></DL>
</PRE>
<P>
Represents an axiom in the ontology.
<P>
<P>
<HR>
<P>
<!-- ========== METHOD SUMMARY =========== -->
<A NAME="method_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Method Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.lang.Object</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/KAON2Visitor.html" title="interface in org.semanticweb.kaon2.api">KAON2Visitor</A> visitor)</CODE>
<BR>
Accepts a visitor for this object.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.lang.Object</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html#getAxiomID()">getAxiomID</A></B>()</CODE>
<BR>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -