xsddoc/samples/ruleml urcbindatagroundlog.xsd,1.1,1.2 urhornlog.xsd,1.2,1.3 equalog.xsd,1.1,1.2 bindatalog.xsd,1.1,1.2 datalog.xsd,1.1,1.2 negdatalog.xsd,1.2,1.3 urcbindatalog.xsd,1.1,1.2 urcbindatagroundfact.xsd,1.1,1.2 urcdatalog.xsd,1.1,1.2 nafnegdatalog.xsd,1.2,1.3 nafdatalog.xsd,1.2,1.3 hornlog.xsd,1.2,1.3 urdatalog.xsd,1.2,1.3 urequalog.xsd,1.2,1.3
Kurt Riede <[email protected]> Thu, 30 Sep 2004 11:26:33 +0000
| Newsgroups | gmane.text.xml.xframe.xsddoc.devel |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/xframe/xsddoc/samples/ruleml In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv32681/samples/ruleml Modified Files: urcbindatagroundlog.xsd urhornlog.xsd equalog.xsd bindatalog.xsd datalog.xsd negdatalog.xsd urcbindatalog.xsd urcbindatagroundfact.xsd urcdatalog.xsd nafnegdatalog.xsd nafdatalog.xsd hornlog.xsd urdatalog.xsd urequalog.xsd Log Message: changed to ASCII Index: datalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/datalog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** datalog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- datalog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,49 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage ! File: datalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- ! Note that datalog is entirely composed of modules and that all other ! schema drivers rely on it, making it the root of the sublanguage family tree. ! --> ! ! <!-- ! Datalog includes the following modules: ! * toplevel ! * desc ! * clause ! * boole ! * atom ! * role ! * term ! ! For details on each module, including what element and/or attribute declarations ! they contain, please refer to them individually. ! --> ! <xs:include schemaLocation="modules/toplevel_module.xsd"/> ! ! <xs:include schemaLocation="modules/desc_module.xsd"/> ! ! <xs:include schemaLocation="modules/clause_module.xsd"/> ! ! <xs:include schemaLocation="modules/boole_module.xsd"/> ! ! <xs:include schemaLocation="modules/atom_module.xsd"/> ! ! <xs:include schemaLocation="modules/role_module.xsd"/> ! ! <xs:include schemaLocation="modules/term_module.xsd"/> ! </xs:schema> \ No newline at end of file --- 1,49 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage ! File: datalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- ! Note that datalog is entirely composed of modules and that all other ! schema drivers rely on it, making it the root of the sublanguage family tree. ! --> ! ! <!-- ! Datalog includes the following modules: ! * toplevel ! * desc ! * clause ! * boole ! * atom ! * role ! * term ! ! For details on each module, including what element and/or attribute declarations ! they contain, please refer to them individually. ! --> ! <xs:include schemaLocation="modules/toplevel_module.xsd"/> ! ! <xs:include schemaLocation="modules/desc_module.xsd"/> ! ! <xs:include schemaLocation="modules/clause_module.xsd"/> ! ! <xs:include schemaLocation="modules/boole_module.xsd"/> ! ! <xs:include schemaLocation="modules/atom_module.xsd"/> ! ! <xs:include schemaLocation="modules/role_module.xsd"/> ! ! <xs:include schemaLocation="modules/term_module.xsd"/> ! </xs:schema> \ No newline at end of file Index: urcdatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urcdatalog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** urcdatalog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- urcdatalog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,27 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Datalog RuleML sublanguage ! File: urcdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- ! 'UR'-centeredness refers to atoms requiring an ind with a required href attribute ! followed by an ind with an optional href attribute. ! ! This 'local' required-vs-optional constraint was not possible with DTDs and has yet ! to be implemented in the XSDs, so urcdatalog is currently equivalent to urdatalog ! (and thus just redefines it without modification, which is equivalent to using xs:include) ! --> ! <xs:redefine schemaLocation="urdatalog.xsd"/> ! </xs:schema> \ No newline at end of file --- 1,27 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Datalog RuleML sublanguage ! File: urcdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- ! 'UR'-centeredness refers to atoms requiring an ind with a required href attribute ! followed by an ind with an optional href attribute. ! ! This 'local' required-vs-optional constraint was not possible with DTDs and has yet ! to be implemented in the XSDs, so urcdatalog is currently equivalent to urdatalog ! (and thus just redefines it without modification, which is equivalent to using xs:include) ! --> ! <xs:redefine schemaLocation="urdatalog.xsd"/> ! </xs:schema> \ No newline at end of file Index: nafnegdatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/nafnegdatalog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** nafnegdatalog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- nafnegdatalog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,81 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including both explicit and default (strong/weak) negation ! File: nafnegdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- nafnegdatalog includes the 'negation' module and redefines it slightly --> ! <xs:redefine schemaLocation="modules/negation_module.xsd"> ! <!-- ! add 'neg' so that naf's content model is: ! (atom | neg) ! --> ! <xs:group name="naf.content"> ! <xs:choice> ! <xs:group ref="naf.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! <!-- ! note the addition of 'naf' (negation as failure) and 'neg' (classical negation) ! from the negation module ! --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'neg' so that _head's content model is: ! (atom | neg) ! --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that _body's content model is: ! (atom | and | or | neg | naf) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that and's content model is: ! ((atom | or | naf | neg)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that or's content model is: ! ((atom | and | naf | neg)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,81 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including both explicit and default (strong/weak) negation ! File: nafnegdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- nafnegdatalog includes the 'negation' module and redefines it slightly --> ! <xs:redefine schemaLocation="modules/negation_module.xsd"> ! <!-- ! add 'neg' so that naf's content model is: ! (atom | neg) ! --> ! <xs:group name="naf.content"> ! <xs:choice> ! <xs:group ref="naf.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! <!-- ! note the addition of 'naf' (negation as failure) and 'neg' (classical negation) ! from the negation module ! --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'neg' so that _head's content model is: ! (atom | neg) ! --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that _body's content model is: ! (atom | and | or | neg | naf) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that and's content model is: ! ((atom | or | naf | neg)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' and 'neg' so that or's content model is: ! ((atom | and | naf | neg)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="naf"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: negdatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/negdatalog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** negdatalog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- negdatalog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,68 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including classical/strong negation ! File: negdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- negdatalog includes the 'negation' module --> ! <xs:include schemaLocation="modules/negation_module.xsd"/> ! ! <!-- note the addition of 'neg' (classical negation) from the negation module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'neg' so that _head's content model is: ! (atom | neg) ! --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that _body's content model is: ! (atom | and | or | neg) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that and's content model is: ! ((atom | or | neg)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that or's content model is: ! ((atom | and | neg)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,68 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including classical/strong negation ! File: negdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- negdatalog includes the 'negation' module --> ! <xs:include schemaLocation="modules/negation_module.xsd"/> ! ! <!-- note the addition of 'neg' (classical negation) from the negation module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'neg' so that _head's content model is: ! (atom | neg) ! --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that _body's content model is: ! (atom | and | or | neg) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that and's content model is: ! ((atom | or | neg)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! ! <!-- ! add 'neg' so that or's content model is: ! ((atom | and | neg)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="neg"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: bindatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/bindatalog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** bindatalog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- bindatalog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,35 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Binary Datalog RuleML sublanguage ! File: bindatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! make atoms binary so that atom's content model is: ! ( ! ( _opr, (_slot)*, (ind | var), (ind | var), (_slot)* ) | ! ( (_slot)*, (ind | var), (ind | var), (_slot)*, _opr ) ! ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! <xs:element ref="var"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! </xs:redefine> ! ! </xs:schema> --- 1,35 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Binary Datalog RuleML sublanguage ! File: bindatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! make atoms binary so that atom's content model is: ! ( ! ( _opr, (_slot)*, (ind | var), (ind | var), (_slot)* ) | ! ( (_slot)*, (ind | var), (ind | var), (_slot)*, _opr ) ! ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! <xs:element ref="var"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! </xs:redefine> ! ! </xs:schema> Index: nafdatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/nafdatalog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** nafdatalog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- nafdatalog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,55 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF) ! File: nafdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- nafdatalog includes the 'negation' module --> ! <xs:include schemaLocation="modules/negation_module.xsd"/> ! ! <!-- note the addition of 'naf' (negation as failure) from the negation module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'naf' so that _body's content model is: ! (atom | and | or | naf) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' so that and's content model is: ! ((atom | or | naf)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' so that or's content model is: ! ((atom | and | naf)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,55 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF) ! File: nafdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! ! <!-- nafdatalog includes the 'negation' module --> ! <xs:include schemaLocation="modules/negation_module.xsd"/> ! ! <!-- note the addition of 'naf' (negation as failure) from the negation module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! ! <!-- ! add 'naf' so that _body's content model is: ! (atom | and | or | naf) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' so that and's content model is: ! ((atom | or | naf)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! <!-- ! add 'naf' so that or's content model is: ! ((atom | and | naf)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="naf"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: urcbindatagroundfact.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urcbindatagroundfact.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** urcbindatagroundfact.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- urcbindatagroundfact.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,43 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Ground-Datalog-Fact RuleML sublanguage ! File: urcbindatagroundfact.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="urcbindatagroundlog.xsd"> ! <!-- ! remove imps so that rulebase's content model is: ! ( ((_rbaselab, (fact | query)*) | ((fact | query)+, _rbaselab?))? ) ! --> ! <xs:group name="rulebase.content"> ! <xs:choice> ! <xs:sequence> ! <xs:element ref="_rbaselab"/> ! <xs:choice minOccurs="0" maxOccurs="unbounded"> ! <xs:element ref="fact"/> ! <xs:element ref="query"/> ! </xs:choice> ! </xs:sequence> ! <xs:sequence minOccurs="0"> ! <xs:choice minOccurs="1" maxOccurs="unbounded"> ! <xs:element ref="fact"/> ! <xs:element ref="query"/> ! </xs:choice> ! <xs:element ref="_rbaselab" minOccurs="0"/> ! </xs:sequence> ! </xs:choice> ! </xs:group> ! ! </xs:redefine> ! ! </xs:schema> --- 1,43 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Ground-Datalog-Fact RuleML sublanguage ! File: urcbindatagroundfact.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="urcbindatagroundlog.xsd"> ! <!-- ! remove imps so that rulebase's content model is: ! ( ((_rbaselab, (fact | query)*) | ((fact | query)+, _rbaselab?))? ) ! --> ! <xs:group name="rulebase.content"> ! <xs:choice> ! <xs:sequence> ! <xs:element ref="_rbaselab"/> ! <xs:choice minOccurs="0" maxOccurs="unbounded"> ! <xs:element ref="fact"/> ! <xs:element ref="query"/> ! </xs:choice> ! </xs:sequence> ! <xs:sequence minOccurs="0"> ! <xs:choice minOccurs="1" maxOccurs="unbounded"> ! <xs:element ref="fact"/> ! <xs:element ref="query"/> ! </xs:choice> ! <xs:element ref="_rbaselab" minOccurs="0"/> ! </xs:sequence> ! </xs:choice> ! </xs:group> ! ! </xs:redefine> ! ! </xs:schema> Index: urcbindatagroundlog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urcbindatagroundlog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** urcbindatagroundlog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- urcbindatagroundlog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,42 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Ground-Datalog RuleML sublanguage ! File: urcbindatagroundlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="urcbindatalog.xsd"> ! <!-- ! remove vars so that atom's content model is: ! ((_opr, (_slot)*, ind, ind, (_slot)*) | ((_slot)*, ind, ind, (_slot)*, _opr)) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! ! <!-- ! remove vars so that _slot's content model is just: ! (ind) ! --> ! <xs:group name="_slot.content"> ! <xs:choice> ! <xs:element ref="ind"/> ! </xs:choice> ! </xs:group> ! ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,42 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Ground-Datalog RuleML sublanguage ! File: urcbindatagroundlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <xs:redefine schemaLocation="urcbindatalog.xsd"> ! <!-- ! remove vars so that atom's content model is: ! ((_opr, (_slot)*, ind, ind, (_slot)*) | ((_slot)*, ind, ind, (_slot)*, _opr)) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! ! <!-- ! remove vars so that _slot's content model is just: ! (ind) ! --> ! <xs:group name="_slot.content"> ! <xs:choice> ! <xs:element ref="ind"/> ! </xs:choice> ! </xs:group> ! ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: urcbindatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urcbindatalog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** urcbindatalog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- urcbindatalog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,36 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Datalog RuleML sublanguage ! File: urcbindatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! ! <xs:redefine schemaLocation="urcdatalog.xsd"> ! <!-- ! make atoms binary so that atom's content model is: ! ( ! ( _opr, (_slot)*, (ind | var), (ind | var), (_slot)* ) | ! ( (_slot)*, (ind | var), (ind | var), (_slot)*, _opr ) ! ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! <xs:element ref="var"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,36 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR'-Centered Binary Datalog RuleML sublanguage ! File: urcbindatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! ! <xs:redefine schemaLocation="urcdatalog.xsd"> ! <!-- ! make atoms binary so that atom's content model is: ! ( ! ( _opr, (_slot)*, (ind | var), (ind | var), (_slot)* ) | ! ( (_slot)*, (ind | var), (ind | var), (_slot)*, _opr ) ! ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="2" maxOccurs="2"> ! <xs:element ref="ind"/> ! <xs:element ref="var"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: urhornlog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urhornlog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** urhornlog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- urhornlog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,46 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Horn-Logic RuleML sublanguage ! File: urhornlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urhornlog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="hornlog.xsd"> ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ctor's list of attributes ! --> ! <xs:attributeGroup name="ctor.attlist"> ! <xs:attributeGroup ref="ctor.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,46 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Horn-Logic RuleML sublanguage ! File: urhornlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urhornlog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="hornlog.xsd"> ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ctor's list of attributes ! --> ! <xs:attributeGroup name="ctor.attlist"> ! <xs:attributeGroup ref="ctor.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: urequalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urequalog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** urequalog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- urequalog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,55 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Equational-Logic RuleML sublanguage ! File: urequalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urequalog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="equalog.xsd"> ! ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ctor's list of attributes ! --> ! <xs:attributeGroup name="ctor.attlist"> ! <xs:attributeGroup ref="ctor.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to fun's list of attributes ! --> ! <xs:attributeGroup name="fun.attlist"> ! <xs:attributeGroup ref="fun.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,55 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Equational-Logic RuleML sublanguage ! File: urequalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urequalog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="equalog.xsd"> ! ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to ctor's list of attributes ! --> ! <xs:attributeGroup name="ctor.attlist"> ! <xs:attributeGroup ref="ctor.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! ! <!-- ! 'href' is added to fun's list of attributes ! --> ! <xs:attributeGroup name="fun.attlist"> ! <xs:attributeGroup ref="fun.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: equalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/equalog.xsd,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** equalog.xsd 30 Aug 2004 07:05:48 -0000 1.1 --- equalog.xsd 30 Sep 2004 11:26:31 -0000 1.2 *************** *** 1,66 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Equational-Logic RuleML sublanguage ! File: equalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- equalog includes the 'equality' module --> ! <xs:include schemaLocation="modules/equality_module.xsd"/> ! ! <!-- note the addition of eq(uational formula) and nanos from the equality module --> ! <xs:redefine schemaLocation="hornlog.xsd"> ! ! <!-- ! add eqs so that _head's content model is: ! (atom | eq) ! --> ! <!-- _head is extended to permit eqs --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that _body's content model is: ! (atom | and | or | eq) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that and's content model is: ! ((atom | or | eq)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that or's content model is: ! ((atom | and | eq)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,66 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Equational-Logic RuleML sublanguage ! File: equalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- equalog includes the 'equality' module --> ! <xs:include schemaLocation="modules/equality_module.xsd"/> ! ! <!-- note the addition of eq(uational formula) and nanos from the equality module --> ! <xs:redefine schemaLocation="hornlog.xsd"> ! ! <!-- ! add eqs so that _head's content model is: ! (atom | eq) ! --> ! <!-- _head is extended to permit eqs --> ! <xs:group name="_head.content"> ! <xs:choice> ! <xs:group ref="_head.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that _body's content model is: ! (atom | and | or | eq) ! --> ! <xs:group name="_body.content"> ! <xs:choice> ! <xs:group ref="_body.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that and's content model is: ! ((atom | or | eq)*) ! --> ! <xs:group name="and.content"> ! <xs:choice> ! <xs:group ref="and.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! <!-- ! add eqs so that or's content model is: ! ((atom | and | eq)*) ! --> ! <xs:group name="or.content"> ! <xs:choice> ! <xs:group ref="or.content"/> ! <xs:element ref="eq"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: urdatalog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/urdatalog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** urdatalog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- urdatalog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,37 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Datalog RuleML sublanguage ! File: urdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urdatalog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file --- 1,37 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema ! targetNamespace="http://www.ruleml.org/0.86/xsd" ! xmlns="http://www.ruleml.org/0.86/xsd" ! xmlns:xs="http://www.w3.org/2001/XMLSchema" ! > ! ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a 'UR' Datalog RuleML sublanguage ! File: urdatalog.xsd ! Version: 0.86 ! Last Modification: 2004-06-23 ! </xs:documentation> ! </xs:annotation> ! ! <!-- urdatalog includes the 'UR' module --> ! <xs:include schemaLocation="modules/ur_module.xsd"/> ! ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! 'href' is added to rel's list of attributes ! --> ! <xs:attributeGroup name="rel.attlist"> ! <xs:attributeGroup ref="rel.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! <!-- ! 'href' is added to ind's list of attributes ! --> ! <xs:attributeGroup name="ind.attlist"> ! <xs:attributeGroup ref="ind.attlist"/> ! <xs:attributeGroup ref="href.attrib"/> ! </xs:attributeGroup> ! </xs:redefine> ! </xs:schema> \ No newline at end of file Index: hornlog.xsd =================================================================== RCS file: /cvsroot/xframe/xsddoc/samples/ruleml/hornlog.xsd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** hornlog.xsd 15 Sep 2004 15:17:23 -0000 1.2 --- hornlog.xsd 30 Sep 2004 11:26:31 -0000 1.3 *************** *** 1,61 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema targetNamespace="http://www.ruleml.org/0.86/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="http://www.ruleml.org/0.86/xsd"> ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Horn-Logic RuleML sublanguage ! File: hornlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! <!-- hornlog includes the 'cterm' module --> ! <xs:include schemaLocation="modules/cterm_module.xsd"/> ! <!-- note the addition of c(omplex )terms and (com)plexs from the cterm module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! add cterms to rulebase labels so that _rbaselab's content model is: ! (ind | cterm) ! --> ! <xs:group name="_rbaselab.content"> ! <xs:choice> ! <xs:group ref="_rbaselab.content"/> ! <xs:element ref="cterm"/> ! </xs:choice> ! </xs:group> ! <!-- ! add cterms to rule labels so that _rlab's content model is: ! (ind | cterm) ! --> ! <xs:group name="_rlab.content"> ! <xs:choice> ! <xs:group ref="_rlab.content"/> ! <xs:element ref="cterm"/> ! </xs:choice> ! </xs:group> ! <!-- ! add cterms and plexs so that atom's content model is: ! ( ( _opr, (_slot)*, (ind | var | cterm | plex)*, (_slot)* ) | ! ( (_slot)*, (ind | var | cterm | plex)+, (_slot)*, _opr ) ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="1" maxOccurs="unbounded"> ! <xs:group ref="atom.extend"/> ! <xs:element ref="cterm"/> ! <xs:element ref="plex"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! <!-- ! add cterms and plexs so that _slot's content model is: ! (ind | var | cterm | plex) ! --> ! <xs:group name="_slot.content"> ! <xs:choice> ! <xs:group ref="_slot.content"/> ! <xs:element ref="cterm"/> ! <xs:element ref="plex"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> --- 1,61 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <xs:schema targetNamespace="http://www.ruleml.org/0.86/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="http://www.ruleml.org/0.86/xsd"> ! <xs:annotation> ! <xs:documentation xml:lang="en"> ! XML Schema for a Horn-Logic RuleML sublanguage ! File: hornlog.xsd ! Version: 0.86 ! Last Modification: 2004-06-24 ! </xs:documentation> ! </xs:annotation> ! <!-- hornlog includes the 'cterm' module --> ! <xs:include schemaLocation="modules/cterm_module.xsd"/> ! <!-- note the addition of c(omplex )terms and (com)plexs from the cterm module --> ! <xs:redefine schemaLocation="datalog.xsd"> ! <!-- ! add cterms to rulebase labels so that _rbaselab's content model is: ! (ind | cterm) ! --> ! <xs:group name="_rbaselab.content"> ! <xs:choice> ! <xs:group ref="_rbaselab.content"/> ! <xs:element ref="cterm"/> ! </xs:choice> ! </xs:group> ! <!-- ! add cterms to rule labels so that _rlab's content model is: ! (ind | cterm) ! --> ! <xs:group name="_rlab.content"> ! <xs:choice> ! <xs:group ref="_rlab.content"/> ! <xs:element ref="cterm"/> ! </xs:choice> ! </xs:group> ! <!-- ! add cterms and plexs so that atom's content model is: ! ( ( _opr, (_slot)*, (ind | var | cterm | plex)*, (_slot)* ) | ! ( (_slot)*, (ind | var | cterm | plex)+, (_slot)*, _opr ) ) ! --> ! <xs:group name="atom.extend"> ! <xs:sequence> ! <xs:choice minOccurs="1" maxOccurs="unbounded"> ! <xs:group ref="atom.extend"/> ! <xs:element ref="cterm"/> ! <xs:element ref="plex"/> ! </xs:choice> ! </xs:sequence> ! </xs:group> ! <!-- ! add cterms and plexs so that _slot's content model is: ! (ind | var | cterm | plex) ! --> ! <xs:group name="_slot.content"> ! <xs:choice> ! <xs:group ref="_slot.content"/> ! <xs:element ref="cterm"/> ! <xs:element ref="plex"/> ! </xs:choice> ! </xs:group> ! </xs:redefine> ! </xs:schema> ------------------------------------------------------- This SF.net email is sponsored by: IT Product Guide on ITManagersJournal Use IT products in your business? Tell us what you think of them. Give us Your Opinions, Get Free ThinkGeek Gift Certificates! Click to find out more http://productguide.itmanagersjournal.com/guidepromo.tmpl