Documentation for AS.AIF

Table of Contents

top

Schema Document Properties

Target Namespace http://aif.org/draft
Version 0.5
Element and Attribute Namespaces
  • Global element and attribute declarations belong to this schema's target namespace.
  • By default, local element declarations belong to this schema's target namespace.
  • By default, local attribute declarations have no namespace.
Schema Composition
  • This schema includes components from the following schema document(s):
Documentation This schema extends AIF.xsd (version 0.2) and validates the output from the ASPIC (http://www.argumentation.org) AS (Argumentation System) implementation. This schema was written against version 0.5.1 of AS.

Declared Namespaces

Prefix Namespace
Default namespace http://aif.org/draft
xml http://www.w3.org/XML/1998/namespace
xs http://www.w3.org/2001/XMLSchema
Schema Component Representation
<xs:schema elementFormDefault="qualified" targetNamespace="http://aif.org/draft" version="0.5">
<xs:include schemaLocation="AIF.xsd"/>
...
</xs:schema>
top

Global Definitions

Complex Type: errorType

Super-types: xs:string < errorType (by extension)
Sub-types: None
Name errorType
Abstract no
Documentation Error details
XML Instance Representation
<...
type=" errorTypeType [0..1]">
xs:string
</...>
Diagram
Schema Component Representation
<xs:complexType name="errorType">
<xs:simpleContent>
<xs:extension base=" xs:string ">
<xs:attribute name="type" type=" errorTypeType "/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
top

Complex Type: inferenceContextType

Super-types: contextType < inferenceContextType (by extension)
Sub-types: None
Name inferenceContextType
Abstract no
Documentation The context node for AS inference needs to show: the provider details (i.e. AS with preferred credulous semantics and weakest link valuation) the input then either the error generated or the query results
XML Instance Representation
<...>
<provider> providerType </provider> [1]
<input> xs:string </input> [1]
Start Choice [1]
<query> queryType </query> [1]
<error> errorType </error> [1]
End Choice
</...>
Diagram
Schema Component Representation
<xs:complexType name="inferenceContextType">
<xs:complexContent>
<xs:extension base=" contextType ">
<xs:sequence>
<xs:element name="provider" type=" providerType "/>
<xs:element name="input" type=" xs:string "/>
<xs:choice>
<xs:element name="query" type=" queryType "/>
<xs:element name="error" type=" errorType "/>
</xs:choice>
</xs:sequence>
</xs:extension>
</xs:complexContent>
</xs:complexType>
top

Complex Type: inferenceI-nodeType

Super-types: i-nodeType < inferenceI-nodeType (by extension)
Sub-types: None
Name inferenceI-nodeType
Abstract no
Documentation Inference i-nodes have a qualifier value (0,1] and, optionally, a status. Status is assigned to main arguments - identifying the i-nodes with a status provides a way therefore of identifying the top claims of argument trees within the proof. Each i-node also has an attribute that distinguishes rules from facts.
XML Instance Representation
<...
status=" statusType [0..1]"
type=" inferenceI-nodeTypeType [0..1]">
<qualifier> qualifierType </qualifier> [1]
</...>
Diagram
Schema Component Representation
<xs:complexType name="inferenceI-nodeType">
<xs:complexContent>
<xs:extension base=" i-nodeType ">
<xs:sequence>
<xs:element name="qualifier" type=" qualifierType "/>
</xs:sequence>
<xs:attribute name="status" type=" statusType " use="optional"/>
<xs:attribute name="type" type=" inferenceI-nodeTypeType " use="optional"/>
</xs:extension>
</xs:complexContent>
</xs:complexType>
top

Complex Type: inferenceS-nodeType

Super-types: s-nodeType < inferenceS-nodeType (by extension)
Sub-types: None
Name inferenceS-nodeType
Abstract no
Documentation Inference s-nodes show details of the substitutions made.
XML Instance Representation
<...>
Start Sequence [0..*]
<substitution> substitutionType </substitution> [1]
End Sequence
</...>
Diagram
Schema Component Representation
<xs:complexType name="inferenceS-nodeType">
<xs:complexContent>
<xs:extension base=" s-nodeType ">
<xs:sequence minOccurs="0" maxOccurs="unbounded">
<xs:element name="substitution" type=" substitutionType "/>
</xs:sequence>
</xs:extension>
</xs:complexContent>
</xs:complexType>
top

Complex Type: providerType

Super-types: None
Sub-types: None
Name providerType
Abstract no
Documentation The provider should specify the particular details for the software that has generated this AIF.
XML Instance Representation
<...
name=" xs:string [0..1]"
version=" xs:string [0..1]">
<semantics> semanticsType </semantics> [1]
<valuation> valuationType </valuation> [1]
<transposition> trueFalseType </transposition> [1]
<restricted_rebutting> trueFalseType </restricted_rebutting> [1]
</...>
Diagram
Schema Component Representation
<xs:complexType name="providerType">
<xs:sequence>
<xs:element name="semantics" type=" semanticsType "/>
<xs:element name="valuation" type=" valuationType "/>
<xs:element name="transposition" type=" trueFalseType "/>
<xs:element name="restricted_rebutting" type=" trueFalseType "/>
</xs:sequence>
<xs:attribute name="name" type=" xs:string "/>
<xs:attribute name="version" type=" xs:string "/>
</xs:complexType>
top

Complex Type: qualifierType

Super-types: None
Sub-types: None
Name qualifierType
Abstract no
Documentation Qualification for an i-node. Implemented as an empty element with a single, dos (degree of support) attribute.
XML Instance Representation
<...
dos=" beliefRange [0..1]"/>
Diagram
Schema Component Representation
<xs:complexType name="qualifierType">
<xs:attribute name="dos" type=" beliefRange "/>
</xs:complexType>
top

Complex Type: queryType

Super-types: None
Sub-types: None
Name queryType
Abstract no
Documentation Query details: expression + result
XML Instance Representation
<...>
<expression> xs:string </expression> [1]
<result> queryResultType </result> [1]
</...>
Diagram
Schema Component Representation
<xs:complexType name="queryType">
<xs:sequence>
<xs:element name="expression" type=" xs:string "/>
<xs:element name="result" type=" queryResultType "/>
</xs:sequence>
</xs:complexType>
top

Complex Type: substitutionType

Super-types: None
Sub-types: None
Name substitutionType
Abstract no
Documentation A substitution shows the details of the variable substitution made during unification.
XML Instance Representation
<...
variable=" xs:string [0..1]"
value=" xs:string [0..1]"/>
Diagram
Schema Component Representation
<xs:complexType name="substitutionType">
<xs:attribute name="variable" type=" xs:string "/>
<xs:attribute name="value" type=" xs:string "/>
</xs:complexType>
top

Simple Type: beliefRange

Super-types: xs:float < beliefRange (by restriction)
Sub-types: None
Name beliefRange
Content
  • Base XSD Type: float
  • 0.0 < value <= 1.0
Documentation belief range = (0, 1].
Diagram
Schema Component Representation
<xs:simpleType name="beliefRange">
<xs:restriction base=" xs:float ">
<xs:minExclusive value="0.0"/>
<xs:maxInclusive value="1.0"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: errorTypeType

Super-types: xs:string < errorTypeType (by restriction)
Sub-types: None
Name errorTypeType
Content
  • Base XSD Type: string
  • value comes from list: {'reasoner'|'parser'}
Documentation Two types of errors are envisaged: reasoner and parser
Diagram
Schema Component Representation
<xs:simpleType name="errorTypeType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="reasoner"/>
<xs:enumeration value="parser"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: inferenceI-nodeTypeType

Super-types: xs:string < inferenceI-nodeTypeType (by restriction)
Sub-types: None
Name inferenceI-nodeTypeType
Content
  • Base XSD Type: string
  • value comes from list: {'rule'|'fact'}
Documentation Distinguish facts from rules.
Diagram
Schema Component Representation
<xs:simpleType name="inferenceI-nodeTypeType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="rule"/>
<xs:enumeration value="fact"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: queryResultType

Super-types: xs:string < queryResultType (by restriction)
Sub-types: None
Name queryResultType
Content
  • Base XSD Type: string
  • value comes from list: {'yes'|'no'}
Documentation For preferred credulous semantics a query is either admissible (yes) or not (no).
Diagram
Schema Component Representation
<xs:simpleType name="queryResultType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: semanticsType

Super-types: xs:string < semanticsType (by restriction)
Sub-types: None
Name semanticsType
Content
  • Base XSD Type: string
  • value comes from list: {'grounded'|'preferred_credulous'}
Documentation Currently, it is only intended to implement two semantics, grounded and "preferred credulous"
Diagram
Schema Component Representation
<xs:simpleType name="semanticsType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="grounded"/>
<xs:enumeration value="preferred_credulous"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: statusType

Super-types: xs:string < statusType (by restriction)
Sub-types: None
Name statusType
Content
  • Base XSD Type: string
  • value comes from list: {'admissible'|'defeated'|'defeater'|'blanco'}
Documentation Gerard's Argumentation System defines three statuses: admissible, defeated and defeater.
Diagram
Schema Component Representation
<xs:simpleType name="statusType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="admissible"/>
<xs:enumeration value="defeated"/>
<xs:enumeration value="defeater"/>
<xs:enumeration value="blanco"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: trueFalseType

Super-types: xs:string < trueFalseType (by restriction)
Sub-types: None
Name trueFalseType
Content
  • Base XSD Type: string
  • value comes from list: {'true'|'false'}
Documentation allows values "true" and "false"
Diagram
Schema Component Representation
<xs:simpleType name="trueFalseType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="true"/>
<xs:enumeration value="false"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: valuationType

Super-types: xs:string < valuationType (by restriction)
Sub-types: None
Name valuationType
Content
  • Base XSD Type: string
  • value comes from list: {'last_link'|'weakest_link'}
Documentation Currently the only prototyped valuation method is weakest_link (minimum). Next one planned is last_link.
Diagram
Schema Component Representation
<xs:simpleType name="valuationType">
<xs:restriction base=" xs:string ">
<xs:enumeration value="last_link"/>
<xs:enumeration value="weakest_link"/>
</xs:restriction>
</xs:simpleType>
top

Legend

Complex Type:

Schema Component Type

AusAddress

Schema Component Name
Super-types: Address < AusAddress (by extension)
Sub-types:
  • QLDAddress (by restriction)
If this schema component is a type definition, its type hierarchy is shown in a gray-bordered box.
Name AusAddress
Abstract no
The table above displays the properties of this schema component.
XML Instance Representation
<... country="Australia" >
<unitNo> string </unitNo> [0..1]
<houseNo> string </houseNo> [1]
<street> string </street> [1]
Start Choice [1]
<city> string </city> [1]
<town> string </town> [1]
End Choice
<state> AusStates </state> [1]
<postcode> string <<pattern = [1-9][0-9]{3}>> </postcode> [1] ?
</...>

The XML Instance Representation table above shows the schema component's content as an XML instance.

Schema Component Representation
<complexType name="AusAddress">
<complexContent>
<extension base=" Address ">
<sequence>
<element name="state" type=" AusStates "/>
<element name="postcode">
<simpleType>
<restriction base=" string ">
<pattern value="[1-9][0-9]{3}"/>
</restriction>
</simpleType>
</element>
</sequence>
<attribute name="country" type=" string " fixed="Australia"/>
</extension>
</complexContent>
</complexType>
The Schema Component Representation table above displays the underlying XML representation of the schema component. (Annotations are not shown.)
top

Glossary

Abstract (Applies to complex type definitions and element declarations). An abstract element or complex type cannot used to validate an element instance. If there is a reference to an abstract element, only element declarations that can substitute the abstract element can be used to validate the instance. For references to abstract type definitions, only derived types can be used.

All Model Group Child elements can be provided in any order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-all.

Choice Model Group Only one from the list of child elements and model groups can be provided in instances. See: http://www.w3.org/TR/xmlschema-1/#element-choice.

Collapse Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32). Then, collapse contiguous sequences of space characters into single space character, and remove leading and trailing space characters.

Disallowed Substitutions (Applies to element declarations). If substitution is specified, then substitution group members cannot be used in place of the given element declaration to validate element instances. If derivation methods, e.g. extension, restriction, are specified, then the given element declaration will not validate element instances that have types derived from the element declaration's type using the specified derivation methods. Normally, element instances can override their declaration's type by specifying an xsi:type attribute.

Key Constraint Like Uniqueness Constraint, but additionally requires that the specified value(s) must be provided. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Key Reference Constraint Ensures that the specified value(s) must match value(s) from a Key Constraint or Uniqueness Constraint. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Model Group Groups together element content, specifying the order in which the element content can occur and the number of times the group of element content may be repeated. See: http://www.w3.org/TR/xmlschema-1/#Model_Groups.

Nillable (Applies to element declarations). If an element declaration is nillable, instances can use the xsi:nil attribute. The xsi:nil attribute is the boolean attribute, nil, from the http://www.w3.org/2001/XMLSchema-instance namespace. If an element instance has an xsi:nil attribute set to true, it can be left empty, even though its element declaration may have required content.

Notation A notation is used to identify the format of a piece of data. Values of elements and attributes that are of type, NOTATION, must come from the names of declared notations. See: http://www.w3.org/TR/xmlschema-1/#cNotation_Declarations.

Preserve Whitespace Policy Preserve whitespaces exactly as they appear in instances.

Prohibited Derivations (Applies to type definitions). Derivation methods that cannot be used to create sub-types from a given type definition.

Prohibited Substitutions (Applies to complex type definitions). Prevents sub-types that have been derived using the specified derivation methods from validating element instances in place of the given type definition.

Replace Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32).

Sequence Model Group Child elements and model groups must be provided in the specified order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-sequence.

Substitution Group Elements that are members of a substitution group can be used wherever the head element of the substitution group is referenced.

Substitution Group Exclusions (Applies to element declarations). Prohibits element declarations from nominating themselves as being able to substitute a given element declaration, if they have types that are derived from the original element's type using the specified derivation methods.

Target Namespace The target namespace identifies the namespace that components in this schema belongs to. If no target namespace is provided, then the schema components do not belong to any namespace.

Uniqueness Constraint Ensures uniqueness of an element/attribute value, or a combination of values, within a specified scope. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

top