xsddoc/samples/ruleml/negdatalog/html/http___www.ruleml.org_0.86_xsd/complexType rulebase.type.html,NONE,1.1 or.type.html,NONE,1.1 rel.type.html,NONE,1.1 imp.type.html,NONE,1.1 ind.type.html,NONE,1.1 _opr.type.html,NONE,1.1 _slot.type.html,NONE,1.1 neg.type.html,NONE,1.1 atom.type.html,NONE,1.1 _head.type.html,NONE,1.1 _body.type.html,NONE,1.1 and.type.html,NONE,1.1 fact.type.html,NONE,1.1 query.type.html,NONE,1.1 naf.type.html,NONE,1.1 _rbaselab.type.html,NONE,1.1 var.type.html,NONE,1.1 _rlab.type.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/negdatalog/html/http___www.ruleml.org_0.86_xsd/complexType
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25313/samples/ruleml/negdatalog/html/http___www.ruleml.org_0.86_xsd/complexType
Added Files:
rulebase.type.html or.type.html rel.type.html imp.type.html
ind.type.html _opr.type.html _slot.type.html neg.type.html
atom.type.html _head.type.html _body.type.html and.type.html
fact.type.html query.type.html naf.type.html
_rbaselab.type.html var.type.html _rlab.type.html
Log Message:
new sample: ruleML
--- NEW FILE: _rlab.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _rlab.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}_rlab.type</b> (restriction)<br></pre><hr><dl><dt>!
Model</dt><dd><tt><...><br> <a href="../../http___www.ruleml.or
g_0.86_xsd/element/ind.html">ind</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</
span><span class="oper">="</span><span class="cont">_rlab.type</span><span class="oper">"!
</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_rlab.content.html"><span class="cont">_rlab.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_rlab.attlist.html"><span class="cont">_rlab.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="10
0%"><tr><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border!
="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavB
arCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="NavBarC
ell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a targ!
et="_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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType rel.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}rel.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...><br> <br></...></tt></dd></dl><hr><a
name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper"><</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rel.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/rel.content.html"><span class="cont">rel.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <spa
n class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">!
ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/rel.attlist.html"><span class="cont">rel.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component
</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.h!
tml"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr><
/table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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">xfr!
ame</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: or.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType or.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +-
-<b>{http://www.ruleml.org/0.86/xsd}or.type</b> (restriction)<br></pre><hr><dl><dt>Model<!
/dt><dd><tt><...><br> (<a href="../../http___www.ruleml.org_0.8
6_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a>)* <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>  
; </td></tr></table><a name="source"></a><dl><dt>Sourc!
e</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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">or.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">maxOccurs</span><span class="oper">="</span><span class="cont">unbounded</span><span class="oper">"</span> <span class="attr">minOccurs</span><span class="oper">="</span><span class="cont">0</span><span class="oper">"</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/or.content.html"><span class="cont">or.content</span></a
><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> !
<span class="oper"><</span><span class="elem">xs:attributeGroup</sp
an> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/or.attlist.html"><span class="cont">or.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFo
nt1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a hr!
ef="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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">fea
ture</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blan!
k">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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType ind.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}ind.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...<br> <a href="#attr_type">type</a> = x
s:anyURI><br> <br></...></tt></dd></dl><hr><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> xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br> </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><pr!
e 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"><</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">ind.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/ind.content.html"><span class="cont">ind.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem"
>xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a hre!
f="../../http___www.ruleml.org_0.86_xsd/attributeGroup/ind.attlist.htm
l"><span class="cont">ind.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFo
nt1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" alig!
n="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="_bl
ank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="!
http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></bo
dy></html>
--- NEW FILE: and.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType and.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}and.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...><br> (<a href="../../http___www.ruleml.org_0
.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a>)* <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br> &
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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">and.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">maxOccurs</span><span class="oper">="</span><span class="cont">unbounded</span><span class="oper">"</span> <span class="attr">minOccurs</span><span class="oper">="</span><span class="cont">0</span><span class="oper">"</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/and.content.html"><span class="cont">and.content</span></
a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> !
<span class="oper"><</span><span class="elem">xs:attributeGroup</s
pan> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/and.attlist.html"><span class="cont">and.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBa
rFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a!
href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="_b!
lank">xsddoc</a>, a sub project of <a target="_blank" href="http://xfr
ame.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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType fact.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}fact.type</b> (restriction)<br></pre><hr><dl><dt>Mo!
del</dt><dd><tt><...><br> ((<a href="../../http___www.ruleml.or
g_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></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align=
"right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___ww!
w.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </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="htt
p://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper"><</span><span clas!
s="elem">xs:complexType</span> <span class="attr">name</span><span cla
ss="oper">="</span><span class="cont">fact.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/fact.content.html"><span class="cont">fact.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/fact.attlist.html"><span class="cont">fact.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></span><br></div></pre></dd
></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="N!
avBarCell1" 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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong negation</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUMENTATION</b></a> | <a href="#e
lements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRIBUTES</b></a> | <a href="#sour!
ce"><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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType neg.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}neg.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...><br> <a href="../../http___www.ruleml.org_0.
86_xsd/element/atom.html">atom</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name<
/span><span class="oper">="</span><span class="cont">neg.type</span><span class="oper">"<!
/span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/neg.content.html"><span class="cont">neg.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/neg.attlist.html"><span class="cont">neg.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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"><fo
nt 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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType naf.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}naf.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...><br> <a href="../../http___www.ruleml.org_0.
86_xsd/element/atom.html">atom</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</
span><span class="oper">="</span><span class="cont">naf.type</span><span class="oper">"</!
span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/naf.content.html"><span class="cont">naf.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/naf.attlist.html"><span class="cont">naf.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><t
d class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr v!
align="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><
a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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"><fon
t 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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType imp.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}imp.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...><br> ((<a href="../../http___www.ruleml.org_
0.86_xsd/element/_rlab.html">_rlab</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.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></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/elem
ent/_body.html">_body</a></code><br>  !
; </td></tr><tr class="TableRowColor" bgcolor="white"><td width="
1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="t
op" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../..!
/http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www
.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> &nbs!
p; </td></tr><tr class="TableRowColor" bg
color="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white
"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td!
><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </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://xfra
me.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span!
class="oper"><</span><span class="elem">xs:complexType</span> <spa
n class="attr">name</span><span class="oper">="</span><span class="cont">imp.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/imp.content.html"><span class="cont">imp.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/imp.attlist.html"><span class="cont">imp.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong negation</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS: <a href="#documentation"><b>DOCUM
ENTATION</b></a> | <a href="#elements"><b>NESTED</b></a> | <a href="#attributes"><b>ATTRI!
BUTES</b></a> | <a href="#source"><b>SOURCE</b></a></font></td><td cla
ss="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: var.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType var.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br> +
--<b>{http://www.ruleml.org/0.86/xsd}var.type</b> (restriction)<br></pre><hr><dl><dt>Mode!
l</dt><dd><tt><...<br> <a href="#attr_type">type</a> = x
s:anyURI><br> <br></...></tt></dd></dl><hr><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> xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br> </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><pr!
e 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"><</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">var.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/var.content.html"><span class="cont">var.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem"
>xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a hre!
f="../../http___www.ruleml.org_0.86_xsd/attributeGroup/var.attlist.htm
l"><span class="cont">var.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFo
nt1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" alig!
n="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="_bl
ank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="!
http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></bo
dy></html>
--- NEW FILE: _opr.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _opr.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}_opr.type</b> (restriction)<br></pre><hr><dl><dt>Mo!
del</dt><dd><tt><...><br> <a href="../../http___www.ruleml.org_
0.86_xsd/element/rel.html">rel</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/rel.html">rel</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</s
pan><span class="oper">="</span><span class="cont">_opr.type</span><span class="oper">"</!
span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_opr.content.html"><span class="cont">_opr.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_opr.attlist.html"><span class="cont">_opr.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><t
r><td class="NavBarCell1" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><!
tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell
1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="_t!
op" 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: _rbaselab.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _rbaselab.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<
br> +--<b>{http://www.ruleml.org/0.86/xsd}_rbaselab.type</b> (restriction)<br></pre><hr>!
<dl><dt>Model</dt><dd><tt><...><br> <a href="../../http___www.r
uleml.org_0.86_xsd/element/ind.html">ind</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr
">name</span><span class="oper">="</span><span class="cont">_rbaselab.type</span><span cl!
ass="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_rbaselab.content.html"><span class="cont">_rbaselab.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_rbaselab.attlist.html"><span class="cont">_rbaselab.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspac
ing="0" border="0" width="100%"><tr><td class="NavBarCell1" colspan="2"><table cellspacin!
g="3" cellpadding="0" border="0"><tr valign="top" align="center"><td b
gcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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: _body.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _body.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}_body.type</b> (restriction)<br></pre><hr><dl><dt>!
Model</dt><dd><tt><...><br> (<a href="../../http___www.ruleml.o
rg_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a>) <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.rule
ml.org_0.86_xsd/element/atom.html">atom</a></code><br>  !
; </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_body.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span clas
s="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_body.content.html"!
><span class="cont">_body.content</span></a><span class="oper">"</span
><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_body.attlist.html"><span class="cont">_body.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../inde
x.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBar!
Cell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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&gro
up_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tra!
cker/?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.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType rulebase.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<b
r> +--<b>{http://www.ruleml.org/0.86/xsd}rulebase.type</b> (restriction)<br></pre><hr><d!
l><dt>Model</dt><dd><tt><...<br> <a href="#attr_directio
n">direction</a> = <i>xs:NMTOKEN</i> : bidirectional><br> ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a>, (<a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)* ) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a>?)?)? <br></...></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 si
ze="+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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a></code><br> </td></tr><tr class="TableRowColor" bgcolo
r="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></f!
ont></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/eleme
nt/fact.html">fact</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</
a></code><br> </td></tr><tr cl!
ass="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a></code><br> </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> <i>xs:NMTOKEN</i></code></font></td><td><code><a href="#attr_direction">direction</a></code><br> </td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolo
r="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></tab!
le><a name="attr_direction"></a><h3>direction</h3><dl><dl><dt>Type:</d
t><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>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rulebase.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">minOccurs</span><span class="oper">="</span><span class="cont">0</span><span class="oper">"</span> <span class="attr">ref
</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/ru!
lebase.content.html"><span class="cont">rulebase.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/rulebase.attlist.html"><span class="cont">rulebase.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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="NavBarFo
nt1"><b>Overview</b></font></a> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a hr!
ef="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></
a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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" hre!
f="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: _head.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _head.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}_head.type</b> (restriction)<br></pre><hr><dl><dt>!
Model</dt><dd><tt><...><br> <a href="../../http___www.ruleml.or
g_0.86_xsd/element/atom.html">atom</a> <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br> </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"><</span><span class="elem">xs:complexType</span> <span class="attr">na
me</span><span class="oper">="</span><span class="cont">_head.type</span><span class="ope!
r">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_head.content.html"><span class="cont">_head.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_head.attlist.html"><span class="cont">_head.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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="Nav
BarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>| <a !
target="_top" href="#"><b>NO FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: atom.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType atom.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}atom.type</b> (restriction)<br></pre><hr><dl><dt>Mo!
del</dt><dd><tt><...><br> ((<a href="../../http___www.ruleml.or
g_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></...&!
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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" alig
n="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___!
www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>
</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>
</td></tr><tr class="TableRowColor" bgcolor="wh!
ite"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1"
valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a hr!
ef="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></co
de><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>  
; </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"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">atom.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/atom.content.html"><span class="cont">atom.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../
../http___www.ruleml.org_0.86_xsd/attributeGroup/atom.attlist.html"><span class="cont">at!
om.attlist</span></a><span class="oper">"</span><span class="oper">/&g
t;</span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="r
ight"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong nega!
tion</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: _slot.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType _slot.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}_slot.type</b> (restriction)<br></pre><hr><dl><dt>!
Model</dt><dd><tt><...<br> <a href="#attr_card">card</a>
= xs:nonNegativeInteger<br> <b><a href="#attr_name">name</a> = xs:string</b><br> <a href="#attr_weight">weight</a> = <i>xs:decimal</i>><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></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white">
<td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><!
td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br> </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> xs:nonNegativeInteger</code></font></td><td><code><a href="#attr_card">card</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> xs:string</code></font></td><td><code><a href="#attr_name">name</a></code><br> &nb
sp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="!
right"><font size="-1"><code> <i>xs:decimal</i></code></font></td
><td><code><a href="#attr_weight">weight</a></code><br> </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><c
ode>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl!
><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper"><</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_slot.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_slot.content.html"><span class="cont">_slot.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><spa
n class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_slo!
t.attlist.html"><span class="cont">_slot.attlist</span></a><span class
="oper">"</span><span class="oper">/></span><br></div><span class="oper"></</span><span class="elem">xs:complexType</span><span class="oper">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td
><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublan!
guage, including classical/strong 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>, h
osted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net<!
/a>.</font></body></html>
--- NEW FILE: query.type.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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </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> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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>complexType query.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2001/XMLSchema}anyType<br> |<br>
+--<b>{http://www.ruleml.org/0.86/xsd}query.type</b> (restriction)<br></pre><hr><dl><dt>!
Model</dt><dd><tt><...><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.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) <br></...></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> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" alig
n="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___!
www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code> </code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br> </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="h
ttp://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper"><</span><span cl!
ass="elem">xs:complexType</span> <span class="attr">mixed</span><span
class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">query.type</span><span class="oper">"</span><span class="oper">></span><br><div class="code"> <span class="oper"><</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/query.content.html"><span class="cont">query.content</span></a><span class="oper">"</span><span class="oper">/></span><br></div><div class="code"> <span class="oper"><</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/query.attlist.html"><span class="cont">query.attlist</span></a><span class="oper">"</span><span class="oper">/></span><br></d
iv><span class="oper"></</span><span class="elem">xs:complexType</span><span class="op!
er">></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> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a> </td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font> </td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a> </td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Datalog RuleML sublanguage, including classical/strong 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 hre
f="#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