xsddoc/samples/ruleml/nafdatalog/html/http___www.ruleml.org_0.86_xsd/element or.html,NONE,1.1 atom.html,NONE,1.1 _body.html,NONE,1.1 _opr.html,NONE,1.1 var.html,NONE,1.1 _head.html,NONE,1.1 and.html,NONE,1.1 rulebase.html,NONE,1.1 query.html,NONE,1.1 _rlab.html,NONE,1.1 neg.html,NONE,1.1 rel.html,NONE,1.1 _slot.html,NONE,1.1 imp.html,NONE,1.1 fact.html,NONE,1.1 naf.html,NONE,1.1 _rbaselab.html,NONE,1.1 ind.html,NONE,1.1

Kurt Riede <[email protected]>
Newsgroups gmane.text.xml.xframe.xsddoc.devel
Message-ID <[email protected]>
Update of /cvsroot/xframe/xsddoc/samples/ruleml/nafdatalog/html/http___www.ruleml.org_0.86_xsd/element
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25313/samples/ruleml/nafdatalog/html/http___www.ruleml.org_0.86_xsd/element

Added Files:
	or.html atom.html _body.html _opr.html var.html _head.html 
	and.html rulebase.html query.html _rlab.html neg.html rel.html 
	_slot.html imp.html fact.html naf.html _rbaselab.html ind.html 
Log Message:
new sample: ruleML

--- NEW FILE: var.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element var</h2><dl><dt>Model</dt><dd><tt>&lt;var<br>&nbsp;&nbsp;<a href="#attr_type">type</a> = xs:anyURI&gt;<br>
     <br>&lt;/var&gt;</tt></dd></dl><hr><br><a name="attributes"></a><table width="100%" c!
 ellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor
" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_type"></a><h3>type</h3><dl><dl><dt>Type:</dt><dd><code>xs:anyURI</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xfram
 e.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span !
 class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">var</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/var.type.html"><span class="cont">var.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class=
 "NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&n!
 bsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help
-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Cr
 eated by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, !
 a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: ind.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element ind</h2><dl><dt>Model</dt><dd><tt>&lt;ind<br>&nbsp;&nbsp;<a href="#attr_type">type</a> = xs:anyURI&gt;<br>
     <br>&lt;/ind&gt;</tt></dd></dl><hr><br><a name="attributes"></a><table width="100%" c!
 ellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor
" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_type"></a><h3>type</h3><dl><dl><dt>Type:</dt><dd><code>xs:anyURI</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xfram
 e.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span !
 class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">ind</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/ind.type.html"><span class="cont">ind.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class=
 "NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&n!
 bsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help
-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Cr
 eated by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, !
 a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: rel.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element rel</h2><dl><dt>Model</dt><dd><tt>&lt;rel&gt;<br>    <br>&lt;/rel&gt;</tt></dd></dl><hr><a name="source"><
 /a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.x!
 frame.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3
.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rel</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/rel.type.html"><span class="cont">rel.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>N
 amespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font clas!
 s="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a 
 <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=!
 browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.
net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: or.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element or</h2><dl><dt>Model</dt><dd><tt>&lt;or&gt;<br>  (<a href="../../http___www.ruleml.org_0.86_xsd/element/at
 om.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</!
 a>)* <br>&lt;/or&gt;</tt></dd></dl><hr><br><a name="elements"></a><tab
le width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="
 http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="!
 code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">or</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/or.type.html"><span class="cont">or.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><
 td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b>!
 </font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href=".
./../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</
 a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsd!
 doc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: and.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element and</h2><dl><dt>Model</dt><dd><tt>&lt;and&gt;<br>  (<a href="../../http___www.ruleml.org_0.86_xsd/element/
 atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</!
 a>)* <br>&lt;/and&gt;</tt></dd></dl><hr><br><a name="elements"></a><ta
ble width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="h
 ttp://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="c!
 ode"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">and</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/and.type.html"><span class="cont">and.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td
 ><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</!
 b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href=
"../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature
 </a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">x!
 sddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _head.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _head</h2><dl><dt>Model</dt><dd><tt>&lt;_head&gt;<br>  <a href="../../http___www.ruleml.org_0.86_xsd/eleme
 nt/atom.html">atom</a> <br>&lt;/_head&gt;</tt></dd></dl><hr><br><a name="elements"></a><t!
 able width="100%" cellspacing="0" cellpadding="3" border="1"><tr class
="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_head</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___w
 ww.ruleml.org_0.86_xsd/complexType/_head.type.html"><span class="cont">_head.type</span><!
 /a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, 
 including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font s!
 ize="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | 
<a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _slot.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _slot</h2><dl><dt>Model</dt><dd><tt>&lt;_slot<br>&nbsp;&nbsp;<a href="#attr_card">card</a> = xs:nonNegativ
 eInteger<br>&nbsp;&nbsp;<b><a href="#attr_name">name</a> = xs:string</b><br>&nbsp;&nbsp;<!
 a href="#attr_weight">weight</a> = <i>xs:decimal</i>&gt;<br>  (<a href
="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>) <br>&lt;/_slot&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></co
 de><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br>!
 <a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:nonNegativeInteger</code></font></td><td><code><a href="#attr_card">card</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:string</code></font></td><td><code><a href="#attr_name">name</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;<i>xs:decimal</i></code></font></td><td><code><a 
 href="#attr_weight">weight</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;!
 &nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" 
cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_card"></a><h3>card</h3><dl><dl><dt>Type:</dt><dd><code>xs:nonNegativeInteger</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="attr_name"></a><h3>name</h3><dl><dl><dt>Type:</dt><dd><code>xs:string</code></dd></dl><dl><dt>Use:</dt><dd><code>required</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="attr_weight"></a><h3>weight</h3><dl><dl><dt>Type:</dt><dd>based on <code></code><br>with :<br></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.ne
 t/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http!
 ://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_slot</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/_slot.type.html"><span class="cont">_slot.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="N
 avBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EE!
 EEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><
td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker
 /?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xfra!
 me.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _rlab.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _rlab</h2><dl><dt>Model</dt><dd><tt>&lt;_rlab&gt;<br>  <a href="../../http___www.ruleml.org_0.86_xsd/eleme
 nt/ind.html">ind</a> <br>&lt;/_rlab&gt;</tt></dd></dl><hr><br><a name="elements"></a><tab!
 le width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="
TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_rlab</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.r
 uleml.org_0.86_xsd/complexType/_rlab.type.html"><span class="cont">_rlab.type</span></a><!
 span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, incl
 uding negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size=!
 "-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a h
ref="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: neg.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element neg</h2><dl><dt>Model</dt><dd><tt>&lt;neg&gt;<br>  <a href="../../http___www.ruleml.org_0.86_xsd/element/a
 tom.html">atom</a>  <br>&lt;/neg&gt;</tt></dd></dl><hr><br><a name="elements"></a><table !
 width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="Tab
leHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">neg</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.rule
 ml.org_0.86_xsd/complexType/neg.type.html"><span class="cont">neg.type</span></a><span cl!
 ass="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including n
 egation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DE!
 TAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#e
lements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: rulebase.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element rulebase</h2><dl><dt>Model</dt><dd><tt>&lt;rulebase<br>&nbsp;&nbsp;<a href="#attr_direction">direction</a>
  = <i>xs:NMTOKEN</i> : bidirectional&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86!
 _xsd/element/_rbaselab.html">_rbaselab</a>, (<a href="../../http___www
.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)* ) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a>?)?)? <br>&lt;/rulebase&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</cod
 e></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.h!
 tml">_rbaselab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/fact.htm
 l">fact</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></!
 tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top
" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><fon
 t size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org!
 _0.86_xsd/element/query.html">query</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;<i>xs:NMTOKEN</i></code></font></td><td><code><a href="#attr_direction">direction</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_direction"></a><h3>direction</h3><dl><dl><dt>Type:</dt><dd>based
  on <code></code><br>with :<br></dd></dl><dl><dt>Default:</dt><dd><code>bidirectional</co!
 de></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><
dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rulebase</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/rulebase.type.html"><span class="cont">rulebase.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" 
 align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.ht!
 ml"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" h
 ref="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a><!
 /font></td></tr></table><hr><font size="-1">Submit a <a target="_blank
" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: naf.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element naf</h2><dl><dt>Model</dt><dd><tt>&lt;naf&gt;<br>  <a href="../../http___www.ruleml.org_0.86_xsd/element/a
 tom.html">atom</a> <br>&lt;/naf&gt;</tt></dd></dl><hr><br><a name="elements"></a><table w!
 idth="100%" cellspacing="0" cellpadding="3" border="1"><tr class="Tabl
eHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">naf</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.rulem
 l.org_0.86_xsd/complexType/naf.type.html"><span class="cont">naf.type</span></a><span cla!
 ss="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including ne
 gation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DET!
 AILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#el
ements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _body.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _body</h2><dl><dt>Model</dt><dd><tt>&lt;_body&gt;<br>  (<a href="../../http___www.ruleml.org_0.86_xsd/elem
 ent/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html"!
 >and</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.ht
ml">or</a>) <br>&lt;/_body&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td wid
 th="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><cod!
 e><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_body</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/_body.type.html"><span class="cont">_body.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="
 NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="to!
 p" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href=".
./../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-
 2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#">!
 <b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: imp.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element imp</h2><dl><dt>Model</dt><dd><tt>&lt;imp&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/element
 /_rlab.html">_rlab</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.htm!
 l">_head</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_b
ody.html">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>)) ) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) ) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, <a hre
 f="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) )) <br>&lt;/imp&!
 gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" 
 align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../htt!
 p___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&n
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&n
 bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor!
 ="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><t
 d width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td!
 ><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.htm
l">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>
 </code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr clas!
 s="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name<
 /span><span class="oper">="</span><span class="cont">imp</span><span class="oper">"</span!
 > <span class="attr">type</span><span class="oper">="</span><a href=".
./../http___www.ruleml.org_0.86_xsd/complexType/imp.type.html"><span class="cont">imp.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></t
 d><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML subla!
 nguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, 
 hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net!
 </a>.</font></body></html>
--- NEW FILE: atom.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element atom</h2><dl><dt>Model</dt><dd><tt>&lt;atom&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/eleme
 nt/_opr.html">_opr</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html"!
 >_slot</a>*, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/i
nd.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?) | (((<a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>+, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)) , <a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a>)) <br>&lt;/atom&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" 
 cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2!
 "><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nb
 sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white!
 "><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp
;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></fo
 nt></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot!
 </a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&n
 bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" b!
 gcolor="white"><td width="1" valign="top" align="right"><font size="-1
"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.
 xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div!
  class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">atom</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/atom.type.html"><span class="cont">atom.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></
 a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b!
 >Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCel
l1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=bro
 wse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" targe!
 t="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: query.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element query</h2><dl><dt>Model</dt><dd><tt>&lt;query&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/ele
 ment/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_body.h!
 tml">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/eleme
nt/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) <br>&lt;/query&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&n
 bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="whit!
 e"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</sp
 an><span class="cont">query</span><span class="oper">"</span> <span class="attr">type</sp!
 an><span class="oper">="</span><a href="../../http___www.ruleml.org_0.
86_xsd/complexType/query.type.html"><span class="cont">query.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign=
 "top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negatio!
 n as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_bla
 nk" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _rbaselab.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _rbaselab</h2><dl><dt>Model</dt><dd><tt>&lt;_rbaselab&gt;<br>  <a href="../../http___www.ruleml.org_0.86_x
 sd/element/ind.html">ind</a> <br>&lt;/_rbaselab&gt;</tt></dd></dl><hr><br><a name="elemen!
 ts"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"
><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_rbaselab</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="..
 /../http___www.ruleml.org_0.86_xsd/complexType/_rbaselab.type.html"><span class="cont">_r!
 baselab.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog 
 RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="!
 NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCU
MENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: fact.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element fact</h2><dl><dt>Model</dt><dd><tt>&lt;fact&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/eleme
 nt/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_head.htm!
 l">_head</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element
/_head.html">_head</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) <br>&lt;/fact&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp
 ;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white">!
 <td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span>
 <span class="cont">fact</span><span class="oper">"</span> <span class="attr">type</span><!
 span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_x
sd/complexType/fact.type.html"><span class="cont">fact.type</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" 
 align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as f!
 ailure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" hr
 ef="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _opr.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class
 ="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&!
 nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>element _opr</h2><dl><dt>Model</dt><dd><tt>&lt;_opr&gt;<br>  <a href="../../http___www.ruleml.org_0.86_xsd/element
 /rel.html">rel</a>  <br>&lt;/_opr&gt;</tt></dd></dl><hr><br><a name="elements"></a><table!
  width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="Ta
bleHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/rel.html">rel</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:element</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_opr</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href="../../http___www.rule
 ml.org_0.86_xsd/complexType/_opr.type.html"><span class="cont">_opr.type</span></a><span !
 class="oper">"</span><span class="oper">/&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including
  negation as failure (NAF)</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">!
 DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="
#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>


-------------------------------------------------------
This SF.Net email is sponsored by: thawte's Crypto Challenge Vl
Crack the code and win a Sony DCRHC40 MiniDV Digital Handycam
Camcorder. More prizes in the weekly Lunch Hour Challenge.
Sign up NOW http://ad.doubleclick.net/clk;10740251;10262165;m
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.