sample.xml

text/xml sample.xml — 191.2 KB

Dateiinhalt

<?xml version="1.0" encoding="UTF-8"?>
<Project name="t2" modficated="2009-07-01T16:56:37.179+02:00">
    <defaultxsdtype>http://www.w3.org/2001/XMLSchema#string</defaultxsdtype>
    <elementDepth>1</elementDepth>
    <typeInheritanceBehaviour>SuperClass only</typeInheritanceBehaviour>
    <ServiceCollection count10="0" count11="2">
        <Service id="BOOK_PRICE_SERVICE" version="1.1">
            <Filename>file:/C:/dist/owls-tc2_1/services/1.1/book_price_service.owls</Filename>
            <Name>BookPriceService</Name>
            <Description>return price of a book</Description>
            <NamespaceEntry id="xmlns:service" uri="http://www.daml.org/services/owl-s/1.1/Service.owl#"/>
            <NamespaceEntry id="xmlns:profile" uri="http://www.daml.org/services/owl-s/1.1/Profile.owl#"/>
            <NamespaceEntry id="xmlns:process" uri="http://www.daml.org/services/owl-s/1.1/Process.owl#"/>
            <NamespaceEntry id="xmlns:owl" uri="http://www.w3.org/2002/07/owl#"/>
            <NamespaceEntry id="xml:base" uri="http://127.0.0.1/services/1.1/book_price_service.owls"/>
            <NamespaceEntry id="xmlns:rdfs" uri="http://www.w3.org/2000/01/rdf-schema#"/>
            <NamespaceEntry id="xmlns:grounding" uri="http://www.daml.org/services/owl-s/1.1/Grounding.owl#"/>
            <NamespaceEntry id="xmlns:rdf" uri="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
            <ImportedOWLFile>http://127.0.0.1/ontology/Service.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Process.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Profile.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Grounding.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/books.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/concept.owl</ImportedOWLFile>
            <InputParameter id="_BOOK"
                uri="http://127.0.0.1/ontology/books.owl#Book" pos="1"/>
            <OutputParameter id="_PRICE"
                uri="http://127.0.0.1/ontology/concept.owl#Price" pos="1"/>
        </Service>
        <Service id="AUTHOR_BOOKPRICE_SERVICE" version="1.1">
            <Filename>file:/C:/dist/owls-tc2_1/services/1.1/author_bookprice_service.owls</Filename>
            <Name>Ziku BookFinderPriceService</Name>
            <Description>Ziku is a frequent usable service to return books written by the given author
and their prices also.</Description>
            <NamespaceEntry id="xmlns:service" uri="http://www.daml.org/services/owl-s/1.1/Service.owl#"/>
            <NamespaceEntry id="xmlns:profile" uri="http://www.daml.org/services/owl-s/1.1/Profile.owl#"/>
            <NamespaceEntry id="xmlns:process" uri="http://www.daml.org/services/owl-s/1.1/Process.owl#"/>
            <NamespaceEntry id="xmlns:owl" uri="http://www.w3.org/2002/07/owl#"/>
            <NamespaceEntry id="xml:base" uri="http://127.0.0.1/services/1.1/author_bookprice_service.owls"/>
            <NamespaceEntry id="xmlns:rdfs" uri="http://www.w3.org/2000/01/rdf-schema#"/>
            <NamespaceEntry id="xmlns:grounding" uri="http://www.daml.org/services/owl-s/1.1/Grounding.owl#"/>
            <NamespaceEntry id="xmlns:rdf" uri="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
            <ImportedOWLFile>http://127.0.0.1/ontology/Service.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Process.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Profile.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/Grounding.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/books.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/books.owl</ImportedOWLFile>
            <ImportedOWLFile>http://127.0.0.1/ontology/concept.owl</ImportedOWLFile>
            <InputParameter id="_AUTHOR"
                uri="http://127.0.0.1/ontology/books.owl#Author" pos="1"/>
            <OutputParameter id="_BOOK"
                uri="http://127.0.0.1/ontology/books.owl#Book" pos="1"/>
            <OutputParameter id="_PRICE"
                uri="http://127.0.0.1/ontology/concept.owl#Price" pos="2"/>
        </Service>
    </ServiceCollection>
    <DatatypeKB modficated="2009-07-01T16:56:37.195+02:00">
        <OntologyURI>file:/C:/dist/owls-tc2_2_rev_2/ontology/books.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/simplified_sumo.owl</OntologyURI>
        <OntologyURI>file:/C:/dist/owls-tc2_2_rev_2/ontology/concept.owl</OntologyURI>
        <OntologyURI>file:/C:/dist/owls-tc2_2_rev_2/ontology/concept.owl</OntologyURI>
        <OntologyURI>file:/C:/dist/owls-tc2_2_rev_2/ontology/books.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/simplified_sumo.owl</OntologyURI>
        <OntologyURI>http://www.daml.org/services/owl-s/1.1/Service.owl</OntologyURI>
        <OntologyURI>http://www.daml.org/services/owl-s/1.1/Process.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/Service.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/ObjectList.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/Expression.owl</OntologyURI>
        <OntologyURI>http://www.daml.org/services/owl-s/1.1/Profile.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/Process.owl</OntologyURI>
        <OntologyURI>http://127.0.0.1/ontology/Service.owl</OntologyURI>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ConditionalEffect">
            <AbstractDatatype name="ConditionalEffect">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ConditionalEffect</OwlRef>
                <RdfsComment> Deprecated as of version 1.1 </RdfsComment>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Publisher">
            <AbstractDatatype name="Publisher">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Publisher</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Person</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#UntangibleObjects">
            <AbstractDatatype name="UntangibleObjects">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#UntangibleObjects</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#PrintedMaterial">
            <AbstractDatatype name="PrintedMaterial">
                <OwlRef>http://127.0.0.1/ontology/books.owl#PrintedMaterial</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/simplified_sumo.owl#Object</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#ReviewedObject">
            <AbstractDatatype name="ReviewedObject">
                <OwlRef>http://127.0.0.1/ontology/books.owl#ReviewedObject</OwlRef>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasGrade</name>
                    <type>http://127.0.0.1/ontology/books.owl#Grade</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Grade</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#RecommendedPriceInEuro">
            <AbstractDatatype name="RecommendedPriceInEuro">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#RecommendedPriceInEuro</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#RecommendedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Person">
            <AbstractDatatype name="Person">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Person</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/simplified_sumo.owl#CorpuscularObject">
            <AbstractDatatype name="CorpuscularObject">
                <OwlRef>http://127.0.0.1/ontology/simplified_sumo.owl#CorpuscularObject</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Recommended-Short-Story">
            <AbstractDatatype name="Recommended-Short-Story">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Recommended-Short-Story</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#ReviewedObject</SuperClass>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Short-Story</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasGrade</name>
                    <type>http://127.0.0.1/ontology/books.owl#A</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#A</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Paper-Back</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Paper-Back</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Small</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Small</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Thesis">
            <AbstractDatatype name="Thesis">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Thesis</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#PrintedMaterial</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.w3.org/2003/11/swrl#AtomList">
            <AbstractDatatype name="AtomList">
                <OwlRef>http://www.w3.org/2003/11/swrl#AtomList</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#AtomicProcess">
            <AbstractDatatype name="AtomicProcess">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#AtomicProcess</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</SuperClass>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#name</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Process" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#realizes</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#performedBy</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Participant</type>
                    <restriction diff="0">
                        <type>hasValue</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#TheServer</value>
                    </restriction>
                    <restrictedRange>http://www.daml.org/services/owl-s/1.1/Process.owl#TheServer</restrictedRange>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#hasClient</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Participant</type>
                    <restriction diff="0">
                        <type>hasValue</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#TheClient</value>
                    </restriction>
                    <restrictedRange>http://www.daml.org/services/owl-s/1.1/Process.owl#TheClient</restrictedRange>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#GermanTaxedPrice">
            <AbstractDatatype name="GermanTaxedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#GermanTaxedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Split-Join">
            <AbstractDatatype name="Split-Join">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Split-Join</OwlRef>
                <RdfsComment>
    Here the process consists of concurrent execution of a bunch of
    sub-processes.  with barrier synchroniztion. With Split and Split and
    Join, we can define processes which have partial synchronization
    (ex. split all and join some subset).
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#UserReview">
            <AbstractDatatype name="UserReview">
                <OwlRef>http://127.0.0.1/ontology/books.owl#UserReview</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Review</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#SupportedLanguage">
            <AbstractDatatype name="SupportedLanguage">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#SupportedLanguage</OwlRef>
                <RdfsComment>Languages supported by the BabelFish translator is an enumerated set of the following languages</RdfsComment>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#German</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Russian</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#French</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Korean</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Italian</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#English</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Chinese</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Portuguese</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Spanish</id>
                </Range>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Very-Large">
            <AbstractDatatype name="Very-Large">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Very-Large</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Size</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#ExpressionContent">
            <AbstractDatatype name="ExpressionContent">
                <OwlRef>http://127.0.0.1/ontology/books.owl#ExpressionContent</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ProcessComponent">
            <AbstractDatatype name="ProcessComponent">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ProcessComponent</OwlRef>
                <RdfsComment> 
    Deprecated as of v. 1.1.
    Note: the old concept ProcessComponent is no longer needed. ControlConstruct
    which includes Perform as a subclass should be used anywhere that 
    ProcessComponent might have been used (which in the OWL-S 1.0 ontology 
    was only in describing the relationship to temporal aspects)
  </RdfsComment>
                <IntersectionClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</IntersectionClass>
                <Element owlsource="INTERSECTION" diff="0">
                    <name>hasSufficientIntersection</name>
                    <type>SufficientProcessComponentIntersection</type>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Large">
            <AbstractDatatype name="Large">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Large</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Size</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Science-Fiction-Short-Story">
            <AbstractDatatype name="Science-Fiction-Short-Story">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Science-Fiction-Short-Story</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Short-Story</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasGenre</name>
                    <type>http://127.0.0.1/ontology/books.owl#Science-Fiction</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Science-Fiction</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Paper-Back</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Paper-Back</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Small</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Small</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Output">
            <AbstractDatatype name="Output">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Output</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</SuperClass>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                        <type>MinCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterValue</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#Price">
            <AbstractDatatype name="Price">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#Price</OwlRef>
                <RdfsComment>This is a simple class to represent the price of objects.</RdfsComment>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#UntangibleObjects</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction diff="0">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction diff="0">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Split">
            <AbstractDatatype name="Split">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Split</OwlRef>
                <RdfsComment>
    Here the process consists of concurrent execution of a bunch of
    sub-processes.  No further specification about waiting,
    synchronization, etc. Similar to other ontologies' use of "Concurrent"
    or "Parallel".  
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceParameter">
            <AbstractDatatype name="ServiceParameter">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceParameter</OwlRef>
                <RdfsComment>
    a Parameter is restricted to refer to only one concept in some
    ontology
    </RdfsComment>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#sParameter</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceParameterName</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#OutputBinding">
            <AbstractDatatype name="OutputBinding">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#OutputBinding</OwlRef>
                <RdfsComment>
    The subClassOf element is redundant, but we keep it because it is
    helpful to some tools
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</SuperClass>
                <IntersectionClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</IntersectionClass>
                <Element owlsource="INTERSECTION" diff="0">
                    <name>hasSufficientIntersection</name>
                    <type>SufficientOutputBindingIntersection</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#toParam</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Output</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#Output</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueFunction</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueForm</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSource</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ValueOf</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueData</name>
                    <type>null</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSpecifier</name>
                    <type>null</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Monthly">
            <AbstractDatatype name="Monthly">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Monthly</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Time</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess">
            <AbstractDatatype name="CompositeProcess">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</OwlRef>
                <RdfsComment>
    A CompositeProcess must have exactly 1 composedOf property.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</SuperClass>
                <IntersectionClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</IntersectionClass>
                <Element owlsource="INTERSECTION" diff="0">
                    <name>hasSufficientIntersection</name>
                    <type>SufficientCompositeProcessIntersection</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#composedOf</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Process" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#name</name>
                    <type>null</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Process" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#invocable</name>
                    <type>http://www.w3.org/2001/XMLSchema#boolean</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#computedEffect</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#collapsesTo</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#computedPrecondition</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#computedInput</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#computedOutput</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceGrounding">
            <AbstractDatatype name="ServiceGrounding">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceGrounding</OwlRef>
                <RdfsComment> 
    A Grounding must be associated with exactly one service.
    (Also, that service must have a model - but that constraint
    isn't expressed here.)
  </RdfsComment>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Service.owl#supportedBy</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Service.owl#Service</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ResultVar">
            <AbstractDatatype name="ResultVar">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ResultVar</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</SuperClass>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                        <type>MinCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterValue</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Science-Fiction-Novel">
            <AbstractDatatype name="Science-Fiction-Novel">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Science-Fiction-Novel</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Novel</SuperClass>
                <SuperClass>http://127.0.0.1/ontology/books.owl#ScienceFictionBook</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasGenre</name>
                    <type>http://127.0.0.1/ontology/books.owl#Science-Fiction</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Science-Fiction</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Medium</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Medium</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Serial-Publications">
            <AbstractDatatype name="Serial-Publications">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Serial-Publications</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Publication</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#contains</name>
                    <type>http://127.0.0.1/ontology/books.owl#Article</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Article</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructList">
            <AbstractDatatype name="ControlConstructList">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructList</OwlRef>
                <RdfsComment>
    OWL does not make any distinction between bags and lists.  We redefine
    the ControlConstructList class, rather than use equivalentClass, so as
    to make that distinction.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/generic/ObjectList.owl#List</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#TaxFreePrice">
            <AbstractDatatype name="TaxFreePrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#TaxFreePrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#Price</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Publication">
            <AbstractDatatype name="Publication">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Publication</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#PrintedMaterial</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Science-Fiction">
            <AbstractDatatype name="Science-Fiction">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Science-Fiction</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Genre</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Daily">
            <AbstractDatatype name="Daily">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Daily</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Time</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order">
            <AbstractDatatype name="Any-Order">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order</OwlRef>
                <RdfsComment>
    Allows the process components (specified as a bag) to be executed in
    some unspecified order but not concurrently. Execution and completion
    of all components is required. The execution of processes in an
    "Any-Order" construct cannot overlap, i.e.atomic processes cannot be
    executed concurrently and composite processes cannot be interleaved.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Grade">
            <AbstractDatatype name="Grade">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Grade</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Text">
            <AbstractDatatype name="Text">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Text</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#LinguisticExpression</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding">
            <AbstractDatatype name="Binding">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</OwlRef>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueFunction</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                </Element>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueForm</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSource</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ValueOf</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#toParam</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueData</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSpecifier</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Reader">
            <AbstractDatatype name="Reader">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Reader</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Person</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Perform">
            <AbstractDatatype name="Perform">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Perform</OwlRef>
                <RdfsComment>
    The PERFORM construct is how one references a process in a composite
    process.  This is analogous to a function call in a program body. The
    inputs to the PERFORM are described using the hasDataFrom property.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Range type="http://www.daml.org/services/owl-s/1.1/Process.owl#Perform">
                    <id>http://www.daml.org/services/owl-s/1.1/Process.owl#ThisPerform</id>
                </Range>
                <Range type="http://www.daml.org/services/owl-s/1.1/Process.owl#Perform">
                    <id>http://www.daml.org/services/owl-s/1.1/Process.owl#TheParentPerform</id>
                </Range>
                <Element owlsource="UNION" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#process</name>
                    <type>processType</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#hasDataFrom</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</type>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#RecommendedPriceInDollar">
            <AbstractDatatype name="RecommendedPriceInDollar">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#RecommendedPriceInDollar</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#RecommendedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#RomanticNovel">
            <AbstractDatatype name="RomanticNovel">
                <OwlRef>http://127.0.0.1/ontology/books.owl#RomanticNovel</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Novel</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Medium</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Medium</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Title">
            <AbstractDatatype name="Title">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Title</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#LinguisticExpression</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Date">
            <AbstractDatatype name="Date">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Date</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/generic/ObjectList.owl#List">
            <AbstractDatatype name="List">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/generic/ObjectList.owl#List</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ConditionalOutput">
            <AbstractDatatype name="ConditionalOutput">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ConditionalOutput</OwlRef>
                <RdfsComment> Deprecated as of version 1.1 </RdfsComment>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Input">
            <AbstractDatatype name="Input">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Input</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</SuperClass>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                        <type>MinCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterValue</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Time">
            <AbstractDatatype name="Time">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Time</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Comic">
            <AbstractDatatype name="Comic">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Comic</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Genre</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Repeat-While">
            <AbstractDatatype name="Repeat-While">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Repeat-While</OwlRef>
                <RdfsComment> 
    The Repeat-While class specializes the ControlConstruct class
    where the with properties "whileCondition" (range of type Condition)
    and ``whileProcess'' (range of type Repeat).  Repeat-While tests for 
    the condition, exits if it is false and does the operation if the
    condition is true, then loops. 
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Iterate</SuperClass>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#whileProcess</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#whileCondition</name>
                    <type>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="2">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="2">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Every-Year">
            <AbstractDatatype name="Every-Year">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Every-Year</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Time</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#RecommendedPrice">
            <AbstractDatatype name="RecommendedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#RecommendedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#Price</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#A">
            <AbstractDatatype name="A">
                <OwlRef>http://127.0.0.1/ontology/books.owl#A</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Grade</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceModel">
            <AbstractDatatype name="ServiceModel">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceModel</OwlRef>
                <RdfsComment>See comments above</RdfsComment>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#B">
            <AbstractDatatype name="B">
                <OwlRef>http://127.0.0.1/ontology/books.owl#B</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Grade</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing">
            <AbstractDatatype name="IntervalThing">
                <OwlRef>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#C">
            <AbstractDatatype name="C">
                <OwlRef>http://127.0.0.1/ontology/books.owl#C</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Grade</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Author">
            <AbstractDatatype name="Author">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Author</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Person</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#D">
            <AbstractDatatype name="D">
                <OwlRef>http://127.0.0.1/ontology/books.owl#D</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Grade</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#F">
            <AbstractDatatype name="F">
                <OwlRef>http://127.0.0.1/ontology/books.owl#F</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Grade</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Expression">
            <AbstractDatatype name="Expression">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Expression</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct">
            <AbstractDatatype name="ControlConstruct">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</OwlRef>
                <RdfsComment>
    A ControlConstruct can have at most one instance of timeout.
  </RdfsComment>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/simplified_sumo.owl#Object">
            <AbstractDatatype name="Object">
                <OwlRef>http://127.0.0.1/ontology/simplified_sumo.owl#Object</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Participant">
            <AbstractDatatype name="Participant">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Participant</OwlRef>
                <Range type="http://www.daml.org/services/owl-s/1.1/Process.owl#Participant">
                    <id>http://www.daml.org/services/owl-s/1.1/Process.owl#TheServer</id>
                </Range>
                <Range type="http://www.daml.org/services/owl-s/1.1/Process.owl#Participant">
                    <id>http://www.daml.org/services/owl-s/1.1/Process.owl#TheClient</id>
                </Range>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#If-Then-Else">
            <AbstractDatatype name="If-Then-Else">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#If-Then-Else</OwlRef>
                <RdfsComment>
    If-Then-Else Class is a ControlConstruct that consists of a Condition, a
    then and an optional else process.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#else</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#then</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#ifCondition</name>
                    <type>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag">
            <AbstractDatatype name="ControlConstructBag">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</OwlRef>
                <RdfsComment> A multiset of control constructs </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/generic/ObjectList.owl#List</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#InputBinding">
            <AbstractDatatype name="InputBinding">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#InputBinding</OwlRef>
                <RdfsComment>
    The subClassOf element is redundant, but we keep it because it is
    helpful to some tools
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</SuperClass>
                <IntersectionClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</IntersectionClass>
                <Element owlsource="INTERSECTION" diff="0">
                    <name>hasSufficientIntersection</name>
                    <type>SufficientInputBindingIntersection</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#toParam</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Input</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#Input</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueFunction</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueForm</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSource</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ValueOf</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueData</name>
                    <type>null</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#valueSpecifier</name>
                    <type>null</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Binding" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Hard-Cover">
            <AbstractDatatype name="Hard-Cover">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Hard-Cover</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book-Type</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#LinguisticExpression">
            <AbstractDatatype name="LinguisticExpression">
                <OwlRef>http://127.0.0.1/ontology/books.owl#LinguisticExpression</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#ExpressionContent</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Review">
            <AbstractDatatype name="Review">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Review</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Local">
            <AbstractDatatype name="Local">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Local</OwlRef>
                <RdfsComment>
     A Local parameter is a variable other than an input that is bound 
    in a precondition of an Atomic Process for use in a result condition
    or effect expression (or output expression) 
  
    THEY CANNOT BE USED IN COMPOSITE PROCESSES AT ALL. 
    This avoids problems associated with state sharing among
    asynchronously related sub processes. 
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</SuperClass>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                        <type>MinCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterValue</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Monograph">
            <AbstractDatatype name="Monograph">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Monograph</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Publication</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency">
            <AbstractDatatype name="Currency">
                <OwlRef>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#MaxPrice">
            <AbstractDatatype name="MaxPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#MaxPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#Price</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Fantasy">
            <AbstractDatatype name="Fantasy">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Fantasy</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Genre</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceCategory">
            <AbstractDatatype name="ServiceCategory">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceCategory</OwlRef>
                <RdfsComment>
    a ServiceCategory is restricted to refer to only one taxonomy
    </RdfsComment>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#code</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#value</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#taxonomy</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#categoryName</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Recommanded-Science-Fiction-Short-Story">
            <AbstractDatatype name="Recommanded-Science-Fiction-Short-Story">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Recommanded-Science-Fiction-Short-Story</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Science-Fiction-Short-Story</SuperClass>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Recommended-Short-Story</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="5">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="5">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="5">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="5">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Paper-Back</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Paper-Back</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Small</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Short-Story" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Small</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Science-Fiction-Short-Story" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasGenre</name>
                    <type>http://127.0.0.1/ontology/books.owl#Science-Fiction</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Science-Fiction-Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Science-Fiction</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#ReviewedObject" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasGrade</name>
                    <type>http://127.0.0.1/ontology/books.owl#A</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Recommended-Short-Story" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#A</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Medium">
            <AbstractDatatype name="Medium">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Medium</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Size</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess">
            <AbstractDatatype name="SimpleProcess">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</SuperClass>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#name</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Process" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#realizedBy</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#AtomicProcess</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#expandsTo</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Article">
            <AbstractDatatype name="Article">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Article</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Text</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Text" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Text" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#User">
            <AbstractDatatype name="User">
                <OwlRef>http://127.0.0.1/ontology/books.owl#User</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Person</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Choice">
            <AbstractDatatype name="Choice">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Choice</OwlRef>
                <RdfsComment>
    Choice calls for the execution of a single control construct from a given bag of control
    constructs (given by the components property).   Any of the given control constructs
    may be chosen for execution.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#FantansyNovel">
            <AbstractDatatype name="FantansyNovel">
                <OwlRef>http://127.0.0.1/ontology/books.owl#FantansyNovel</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Novel</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="4">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Medium</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Novel" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Medium</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition">
            <AbstractDatatype name="Condition">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter">
            <AbstractDatatype name="Parameter">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</OwlRef>
                <RdfsComment> 
    This is the simplest way to relate parameters to 
    SWRL (and DRS) variables.
  </RdfsComment>
                <SuperClass>http://www.w3.org/2003/11/swrl#Variable</SuperClass>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterType</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                    <restriction diff="0">
                        <type>MinCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#parameterValue</name>
                    <type>http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Unordered">
            <AbstractDatatype name="Unordered">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Unordered</OwlRef>
                <RdfsComment>
     Deprecated.  As of version 1.1, renamed to Any-Order.
  </RdfsComment>
                <IntersectionClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order</IntersectionClass>
                <Element owlsource="INTERSECTION" diff="0">
                    <name>hasSufficientIntersection</name>
                    <type>SufficientUnorderedIntersection</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order" diff="1">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructBag</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#TaxedPrice">
            <AbstractDatatype name="TaxedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#TaxedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#Price</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction diff="0">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Paper-Back">
            <AbstractDatatype name="Paper-Back">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Paper-Back</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book-Type</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceProfile">
            <AbstractDatatype name="ServiceProfile">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceProfile</OwlRef>
                <RdfsComment>See comments above</RdfsComment>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#ValueOf">
            <AbstractDatatype name="ValueOf">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ValueOf</OwlRef>
                <RdfsComment>
    We allow for the possibility that another parameter of the same process is 
    referenced, in which case this property is optional (hence maxCard)
  </RdfsComment>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#fromProcess</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Perform</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#theVar</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Result">
            <AbstractDatatype name="Result">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Result</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Iterate">
            <AbstractDatatype name="Iterate">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Iterate</OwlRef>
                <RdfsComment>
    Iterate is an "abstract" class, in the sense that it's not detailed
    enough to be instantiated in a process model.  It's here to serve as
    the common superclass of Repeat-While, Repeat-Until, and potentially
    other specific iteration constructs that might be needed in the
    future.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Once">
            <AbstractDatatype name="Once">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Once</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Time</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Book">
            <AbstractDatatype name="Book">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Book</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Monograph</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Genre">
            <AbstractDatatype name="Genre">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Genre</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#RecommendedTaxedPrice">
            <AbstractDatatype name="RecommendedTaxedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#RecommendedTaxedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Profile.owl#Profile">
            <AbstractDatatype name="Profile">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Profile.owl#Profile</OwlRef>
                <RdfsComment>
    A profile can have only one text description
    </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceProfile</SuperClass>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceProduct</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                </Element>
                <Element owlsource="DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceClassification</name>
                    <type>http://www.w3.org/2001/XMLSchema#anyURI</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceCategory</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceCategory</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceParameter</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Profile.owl#ServiceParameter</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#hasResult</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Result</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#has_process</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Profile.owl#Profile" diff="0">
                        <type>isFunctional</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#hasPrecondition</name>
                    <type>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#textDescription</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Profile.owl#serviceName</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Weekly">
            <AbstractDatatype name="Weekly">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Weekly</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Time</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Process">
            <AbstractDatatype name="Process">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</OwlRef>
                <RdfsComment>
    A Process can have at most one name, but names need not be unique.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceModel</SuperClass>
                <Element owlsource="UNION" diff="0">
                    <name>hasSufficientUnion</name>
                    <type>SufficientProcessUnion</type>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#name</name>
                    <type>null</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Short-Story">
            <AbstractDatatype name="Short-Story">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Short-Story</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Small</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Small</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Paper-Back</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Paper-Back</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#USTaxedPrice">
            <AbstractDatatype name="USTaxedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#USTaxedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Encyclopedia">
            <AbstractDatatype name="Encyclopedia">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Encyclopedia</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Very-Large</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Very-Large</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Repeat-Until">
            <AbstractDatatype name="Repeat-Until">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Repeat-Until</OwlRef>
                <RdfsComment> 
    The Repeat-Until class specializes the ControlConstruct class where
    the with properties "untilCondition" (range of type Condition) and
    "untilProcess" (range of type Reapeat).  Repeat-Until does the
    operation, tests for the condition, exits if it is true, and otherwise
    loops.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#Iterate</SuperClass>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#untilProcess</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#untilCondition</name>
                    <type>http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#Condition</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="2">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="2">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Newspaper">
            <AbstractDatatype name="Newspaper">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Newspaper</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Serial-Publications</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#contains</name>
                    <type>http://127.0.0.1/ontology/books.owl#Article</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Article</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Service.owl#Service">
            <AbstractDatatype name="Service">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Service.owl#Service</OwlRef>
                <RdfsComment> 
    A service has 0 or 1 models.  (But note that a service with 0 models 
    does not provide automated online access; it exists only for
    discovery purposes; that is, it exists so as to provide a Profile.)
  </RdfsComment>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Service.owl#describedBy</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceModel</type>
                    <restriction diff="0">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Service.owl#supports</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceGrounding</type>
                </Element>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Service.owl#presents</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Service.owl#ServiceProfile</type>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#TaxedPriceInDollar">
            <AbstractDatatype name="TaxedPriceInDollar">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#TaxedPriceInDollar</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#ScienceFictionBook">
            <AbstractDatatype name="ScienceFictionBook">
                <OwlRef>http://127.0.0.1/ontology/books.owl#ScienceFictionBook</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Size">
            <AbstractDatatype name="Size">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Size</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
            <AbstractDatatype name="Language">
                <OwlRef>http://www.daml.org/2003/09/factbook/factbook-ont#Language</OwlRef>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#German</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Russian</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#French</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Korean</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Italian</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#English</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Chinese</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Portuguese</id>
                </Range>
                <Range type="http://www.daml.org/2003/09/factbook/factbook-ont#Language">
                    <id>http://www.daml.org/2003/09/factbook/languages#Spanish</id>
                </Range>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Produce">
            <AbstractDatatype name="Produce">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Produce</OwlRef>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#producedBinding</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#OutputBinding</type>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Magazine">
            <AbstractDatatype name="Magazine">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Magazine</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Serial-Publications</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#contains</name>
                    <type>http://127.0.0.1/ontology/books.owl#Article</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Article</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#EuropeTaxedPrice">
            <AbstractDatatype name="EuropeTaxedPrice">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#EuropeTaxedPrice</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/concept.owl#TaxedPriceInEuro">
            <AbstractDatatype name="TaxedPriceInEuro">
                <OwlRef>http://127.0.0.1/ontology/concept.owl#TaxedPriceInEuro</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/concept.owl#TaxedPrice</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#currency</name>
                    <type>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.daml.ecs.soton.ac.uk/ont/currency.owl#Currency</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-DATATYPE"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                    <name>http://127.0.0.1/ontology/concept.owl#amount</name>
                    <type>http://www.w3.org/2001/XMLSchema#float</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#Price" diff="2">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2001/XMLSchema#float</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                    <name>http://127.0.0.1/ontology/concept.owl#Fine</name>
                    <type>http://www.w3.org/2002/07/owl#Thing</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/concept.owl#TaxedPrice" diff="1">
                        <type>someValuesFrom</type>
                        <value>http://www.w3.org/2002/07/owl#Thing</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Very-Small">
            <AbstractDatatype name="Very-Small">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Very-Small</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Size</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Journals">
            <AbstractDatatype name="Journals">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Journals</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Serial-Publications</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#contains</name>
                    <type>http://127.0.0.1/ontology/books.owl#Article</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Serial-Publications" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Article</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.w3.org/2002/07/owl#Thing">
            <AbstractDatatype name="Thing">
                <OwlRef>http://www.w3.org/2002/07/owl#Thing</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.w3.org/2003/11/swrl#Variable">
            <AbstractDatatype name="Variable">
                <OwlRef>http://www.w3.org/2003/11/swrl#Variable</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Small">
            <AbstractDatatype name="Small">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Small</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Size</SuperClass>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Novel">
            <AbstractDatatype name="Novel">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Novel</OwlRef>
                <SuperClass>http://127.0.0.1/ontology/books.owl#Book</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://127.0.0.1/ontology/books.owl#hasSize</name>
                    <type>http://127.0.0.1/ontology/books.owl#Medium</type>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Medium</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#publishedBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Publisher</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Publisher</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                    <name>http://127.0.0.1/ontology/books.owl#datePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Date</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Publication" diff="3">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Date</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                    <name>http://127.0.0.1/ontology/books.owl#timePublished</name>
                    <type>http://127.0.0.1/ontology/books.owl#Once</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Monograph" diff="2">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Once</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#isTitled</name>
                    <type>http://127.0.0.1/ontology/books.owl#Title</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Title</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#hasType</name>
                    <type>http://127.0.0.1/ontology/books.owl#Book-Type</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Book-Type</value>
                    </restriction>
                </Element>
                <Element owlsource="RESTRICTION-ON-OBJECT"
                    inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                    <name>http://127.0.0.1/ontology/books.owl#writtenBy</name>
                    <type>http://127.0.0.1/ontology/books.owl#Author</type>
                    <restriction
                        inheritedby="http://127.0.0.1/ontology/books.owl#Book" diff="1">
                        <type>allValuesFrom</type>
                        <value>http://127.0.0.1/ontology/books.owl#Author</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://www.daml.org/services/owl-s/1.1/Process.owl#Sequence">
            <AbstractDatatype name="Sequence">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Sequence</OwlRef>
                <RdfsComment>
    Sequence is defined as having a list of component processes that
    specify the body. The Preconditions, parameters and effects of the
    sequence are not defined in the minimal version.  An obvious extension
    would be to define the effect of the sequence to be the union of the
    effect of the individual members, and the parameters of the sequence
    to be the union of the parameters of individual members. However, some
    implementations may decide to use the last event's effects as the
    effect of the sequence, etc.
  </RdfsComment>
                <SuperClass>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</SuperClass>
                <Element owlsource="RESTRICTION-ON-OBJECT" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#components</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructList</type>
                    <restriction diff="0">
                        <type>Cardinality</type>
                        <value>1</value>
                    </restriction>
                    <restriction diff="0">
                        <type>allValuesFrom</type>
                        <value>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstructList</value>
                    </restriction>
                </Element>
                <Element owlsource="OBJECT"
                    inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#timeout</name>
                    <type>http://www.isi.edu/~pan/damltime/time-entry.owl#IntervalThing</type>
                    <restriction
                        inheritedby="http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct" diff="1">
                        <type>MaxCardinality</type>
                        <value>1</value>
                    </restriction>
                </Element>
            </AbstractDatatype>
        </RegisteredDatatype>
        <RegisteredDatatype id="http://127.0.0.1/ontology/books.owl#Book-Type">
            <AbstractDatatype name="Book-Type">
                <OwlRef>http://127.0.0.1/ontology/books.owl#Book-Type</OwlRef>
            </AbstractDatatype>
        </RegisteredDatatype>
        <MetaDatatype id="toParamInputBindingAllValuesFromRestriction">
            <AbstractDatatype name="toParamInputBindingAllValuesFromRestriction">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#InputBinding</OwlRef>
                <Element owlsource="ONPROPERTY" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#toParam</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</type>
                </Element>
                <Element owlsource="RESTRICTION-COMPONENT" diff="0">
                    <name>allValuesFrom</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Input</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="processType">
            <AbstractDatatype name="processType">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#process</OwlRef>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#AtomicProcess</type>
                </Element>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem2</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess</type>
                </Element>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem3</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientProcessUnion">
            <AbstractDatatype name="SufficientProcessUnion">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</OwlRef>
                <RdfsComment>n/a</RdfsComment>
                <OwlVersionInfo>n/a</OwlVersionInfo>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#SimpleProcess</type>
                </Element>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem2</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</type>
                </Element>
                <Element owlsource="UNION-CLASS" diff="0">
                    <name>elem3</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#AtomicProcess</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientInputBindingIntersection">
            <AbstractDatatype name="SufficientInputBindingIntersection">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#InputBinding</OwlRef>
                <Element owlsource="INTERSECTION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</type>
                </Element>
                <Element owlsource="INTERSECTION-RESTRICTION" diff="0">
                    <name>elem2</name>
                    <type>toParamInputBindingAllValuesFromRestriction</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="composedOfCompositeProcessCardinalityRestriction">
            <AbstractDatatype name="composedOfCompositeProcessCardinalityRestriction">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</OwlRef>
                <Element owlsource="ONPROPERTY" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#composedOf</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                </Element>
                <Element owlsource="RESTRICTION-COMPONENT" diff="0">
                    <name>cardinality</name>
                    <type>Cardinality</type>
                    <restrictedRange>1</restrictedRange>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientOutputBindingIntersection">
            <AbstractDatatype name="SufficientOutputBindingIntersection">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#OutputBinding</OwlRef>
                <Element owlsource="INTERSECTION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Binding</type>
                </Element>
                <Element owlsource="INTERSECTION-RESTRICTION" diff="0">
                    <name>elem2</name>
                    <type>toParamOutputBindingAllValuesFromRestriction</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientProcessComponentIntersection">
            <AbstractDatatype name="SufficientProcessComponentIntersection">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#ProcessComponent</OwlRef>
                <Element owlsource="INTERSECTION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#ControlConstruct</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientCompositeProcessIntersection">
            <AbstractDatatype name="SufficientCompositeProcessIntersection">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#CompositeProcess</OwlRef>
                <Element owlsource="INTERSECTION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Process</type>
                </Element>
                <Element owlsource="INTERSECTION-RESTRICTION" diff="0">
                    <name>elem2</name>
                    <type>composedOfCompositeProcessCardinalityRestriction</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="SufficientUnorderedIntersection">
            <AbstractDatatype name="SufficientUnorderedIntersection">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#Unordered</OwlRef>
                <Element owlsource="INTERSECTION-CLASS" diff="0">
                    <name>elem1</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Any-Order</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
        <MetaDatatype id="toParamOutputBindingAllValuesFromRestriction">
            <AbstractDatatype name="toParamOutputBindingAllValuesFromRestriction">
                <OwlRef>http://www.daml.org/services/owl-s/1.1/Process.owl#OutputBinding</OwlRef>
                <Element owlsource="ONPROPERTY" diff="0">
                    <name>http://www.daml.org/services/owl-s/1.1/Process.owl#toParam</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Parameter</type>
                </Element>
                <Element owlsource="RESTRICTION-COMPONENT" diff="0">
                    <name>allValuesFrom</name>
                    <type>http://www.daml.org/services/owl-s/1.1/Process.owl#Output</type>
                </Element>
            </AbstractDatatype>
        </MetaDatatype>
    </DatatypeKB>
</Project>

Hochschule für
Technik und Wirtschaft
des Saarlandes

University of
Applied Sciences

Kontakt

Hochschule für Technik und Wirtschaft
des Saarlandes
Goebenstraße 40
66117 Saarbrücken

Telefon: (0681) 58 67 - 0
Telefax: (0681) 58 67 - 122
E-Mail: info@htwsaar.de

Aufsichtsbehörde:
Staatskanzlei des Saarlandes

Folge uns