xsddoc/samples/ruleml/nafnegdatalog/html/http___www.ruleml.org_0.86_xsd/element _rbaselab.html,NONE,1.1 naf.html,NONE,1.1 var.html,NONE,1.1 _head.html,NONE,1.1 neg.html,NONE,1.1 rulebase.html,NONE,1.1 ind.html,NONE,1.1 query.html,NONE,1.1 rel.html,NONE,1.1 atom.html,NONE,1.1 fact.html,NONE,1.1 _body.html,NONE,1.1 or.html,NONE,1.1 imp.html,NONE,1.1 _opr.html,NONE,1.1 _rlab.html,NONE,1.1 and.html,NONE,1.1 _slot.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/nafnegdatalog/html/http___www.ruleml.org_0.86_xsd/element
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25313/samples/ruleml/nafnegdatalog/html/http___www.ruleml.org_0.86_xsd/element

Added Files:
	_rbaselab.html naf.html var.html _head.html neg.html 
	rulebase.html ind.html query.html rel.html atom.html fact.html 
	_body.html or.html imp.html _opr.html _rlab.html and.html 
	_slot.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 both explicit and default (strong/weak) negation</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%" cellspacing="0" cellpadding="3" border="1"><tr c
lass="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.xfra
 me.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">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>&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 both explicit and default (strong/weak) negation</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: 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 both explicit and default (strong/weak) negation</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%" cellspacing="0" cellpadding="3" border="1"><tr c
lass="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.xfra
 me.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">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>&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 both explicit and default (strong/weak) negation</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: 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 both explicit and default (strong/weak) negation</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/xsd!
 doc/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">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 c
 lass="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcol!
 or="#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 both explicit and default (strong/weak) negation</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=45
 4391&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 both explicit and default (strong/weak) negation</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/atom.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 n
ame="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></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="NavBarFon!
 t1Rev"><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 both explicit and default (strong/weak) negation</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/?ati
 d=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.so!
 urceforge.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: 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 both explicit and default (strong/weak) negation</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.rulem
 l.org_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xs!
 d/element/or.html">or</a>)* <br>&lt;/and&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/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="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/X!
 MLSchema"><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">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="NavBarF!
 ont1Rev"><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 both explicit and default (strong/weak) negation</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/?a
 tid=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: _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 both explicit and default (strong/weak) negation</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.ru
 leml.org_0.86_xsd/element/atom.html">atom</a> <br>&lt;/_head&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/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___www.ruleml.org_0.86_xsd/complexType/_head.type.html"><span class="c!
 ont">_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 Datal
 og RuleML sublanguage, including both explicit and default (strong/weak) negation</b></em!
 ></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a hre
f="#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 both explicit and default (strong/weak) negation</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">c
 ard</a> = xs:nonNegativeInteger<br>&nbsp;&nbsp;<b><a href="#attr_name">name</a> = xs:stri!
 ng</b><br>&nbsp;&nbsp;<a href="#attr_weight">weight</a> = <i>xs:decima
l</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/elemen
 t/var.html">var</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;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:d
 oc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsd!
 doc/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="../ind
 ex.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBa!
 rCell1Rev" 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 both explicit and default (strong/weak) negation</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">f!
 eature</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: _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 both explicit and default (strong/weak) negation</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.ru
 leml.org_0.86_xsd/element/ind.html">ind</a> <br>&lt;/_rlab&gt;</tt></dd></dl><hr><br><a n!
 ame="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></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 h
 ref="../../http___www.ruleml.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 R
 uleML sublanguage, including both explicit and default (strong/weak) negation</b></em></t!
 d></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: 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 both explicit and default (strong/weak) negation</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/atom.html">atom</a>  <br>&lt;/neg&gt;</tt></dd></dl><hr><br><a name!
 ="elements"></a><table width="100%" cellspacing="0" cellpadding="3" bo
rder="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">neg</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href
 ="../../http___www.ruleml.org_0.86_xsd/complexType/neg.type.html"><span class="cont">neg.!
 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 s
 ublanguage, including both explicit and default (strong/weak) negation</b></em></td></tr>!
 <tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documen
tation"><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: 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 both explicit and default (strong/weak) negation</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_d
 irection">direction</a> = <i>xs:NMTOKEN</i> : bidirectional&gt;<br>  ((<a href="../../htt!
 p___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;</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/_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.html">fact</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n!
 bsp;&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/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"><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></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</code></dd></dl><dl><dt>Use:</dt><dd><code>optiona
l</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" borde
 r="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 both explicit and default (strong/weak) negation</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="N
 avBarCell2"><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: 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 both explicit and default (strong/weak) negation</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/atom.html">atom</a> <br>&lt;/naf&gt;</tt></dd></dl><hr><br><a name=!
 "elements"></a><table width="100%" cellspacing="0" cellpadding="3" bor
der="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">naf</span><span class="oper">"</span> <span class="attr">type</span><span class="oper">="</span><a href=
 "../../http___www.ruleml.org_0.86_xsd/complexType/naf.type.html"><span class="cont">naf.t!
 ype</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 su
 blanguage, including both explicit and default (strong/weak) negation</b></em></td></tr><!
 tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#document
ation"><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: _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 both explicit and default (strong/weak) negation</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.r
 uleml.org_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.8!
 6_xsd/element/and.html">and</a> | <a href="../../http___www.ruleml.org
_0.86_xsd/element/or.html">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 width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</co!
 de></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="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" bo!
 rder="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 both explicit and default (strong/weak) negation</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></f
 ont></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 both explicit and default (strong/weak) negation</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.rule
 ml.org_0.86_xsd/element/_rlab.html">_rlab</a>, ((<a href="../../http___www.ruleml.org_0.8!
 6_xsd/element/_head.html">_head</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/_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 href="../../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="../../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/_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;&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"><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="TableRowCo
 lor" 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.8
6_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><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/elemen
 t/_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></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><sp!
 an class="oper">"</span> <span class="attr">type</span><span class="op
er">="</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>&nbs
 p;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for!
  a Datalog RuleML sublanguage, including both explicit and default (strong/weak) negation</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" hre
 f="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://w!
 ww.sourceforge.net">http://www.sourceforge.net</a>.</font></body></htm
l>
--- 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 both explicit and default (strong/weak) negation</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.ru
 leml.org_0.86_xsd/element/_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/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/_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><b
 r>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableR!
 owColor" 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/_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></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/el!
 ement/_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;&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><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/do
 c" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.o!
 rg/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 cl!
 ass="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#E
EEEFF" 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 both explicit and default (strong/weak) negation</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.ne
 t/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="ht!
 tp://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: 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 both explicit and default (strong/weak) negation</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/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0!
 .86_xsd/element/_body.html">_body</a>) | (<a href="../../http___www.ru
leml.org_0.86_xsd/element/_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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="Table!
 RowColor" 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><s
 pan class="oper">="</span><span class="cont">query</span><span class="oper">"</span> <spa!
 n class="attr">type</span><span class="oper">="</span><a href="../../h
ttp___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 sublang!
 uage, including both explicit and default (strong/weak) negation</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.sourcefo
 rge.net">xframe</a>, hosted at <a target="_blank" 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 both explicit and default (strong/weak) negation</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_xsd/element/ind.html">ind</a> <br>&lt;/_rbaselab&gt;</tt></dd></dl>!
 <hr><br><a name="elements"></a><table width="100%" cellspacing="0" cel
lpadding="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="ope
 r">="</span><a href="../../http___www.ruleml.org_0.86_xsd/complexType/_rbaselab.type.html!
 "><span class="cont">_rbaselab.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>XM
 L Schema for a Datalog RuleML sublanguage, including both explicit and default (strong/we!
 ak) negation</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: 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 both explicit and default (strong/weak) negation</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.ru
 leml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.8!
 6_xsd/element/_head.html">_head</a>) | (<a href="../../http___www.rule
ml.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="TableRow!
 Color" 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 cl!
 ass="attr">type</span><span class="oper">="</span><a href="../../http_
__www.ruleml.org_0.86_xsd/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 ro
 wspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, !
 including both explicit and default (strong/weak) negation</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.ne
 t">xframe</a>, hosted at <a target="_blank" href="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 both explicit and default (strong/weak) negation</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.rule
 ml.org_0.86_xsd/element/rel.html">rel</a>  <br>&lt;/_opr&gt;</tt></dd></dl><hr><br><a nam!
 e="elements"></a><table width="100%" cellspacing="0" cellpadding="3" b
order="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/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.ruleml.org_0.86_xsd/complexType/_opr.type.html"><span class="cont">_op!
 r.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 both explicit and default (strong/weak) negation</b></em></td></t!
 r><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#docum
entation"><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.