Swop
Semantic Web-based Open engineering Platform
Document Actions
operation.owl
Click here to get the file
File contents
<?xml version="1.0"?>
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:owl11="http://www.w3.org/2006/12/owl11#"
xmlns:operation="http://www.swop-project.eu/ontologies/pmo/operation.owl#"
xml:base="http://www.swop-project.eu/ontologies/pmo/operation.owl">
<owl:Ontology rdf:about="">
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
>Created with TopBraid Composer</owl:versionInfo>
</owl:Ontology>
<owl:Class rdf:ID="Value">
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="value"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:ID="NullaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="Cos">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="Abs"/>
<owl:Class rdf:ID="Exp"/>
<owl:Class rdf:ID="Ln"/>
<owl:Class rdf:ID="Minus"/>
<owl:Class rdf:ID="Not"/>
<owl:Class rdf:ID="Sin"/>
<owl:Class rdf:ID="Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:ID="UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Exp">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="Comparison">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="Addition"/>
<owl:Class rdf:ID="And"/>
<owl:Class rdf:ID="PartInstanceDatatypeProperty"/>
<owl:Class rdf:ID="Division"/>
<owl:Class rdf:ID="Implies"/>
<owl:Class rdf:ID="Multiplication"/>
<owl:Class rdf:ID="Or"/>
<owl:Class rdf:ID="Subtraction"/>
<owl:Class rdf:ID="Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:ID="BinaryOperation"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="comparitor"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#And">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#BinaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Minus">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#BinaryOperation">
<owl:equivalentClass>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="domain_II"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:ID="Operation"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="domain_I"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#NullaryOperation">
<rdfs:subClassOf>
<owl:Class rdf:about="#Operation"/>
</rdfs:subClassOf>
<owl:equivalentClass>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:ID="Amount"/>
<owl:Class rdf:about="#Value"/>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="#Abs">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Xor">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Division">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Or">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Amount">
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="ofClass"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="#NullaryOperation"/>
<owl:disjointWith rdf:resource="#Value"/>
</owl:Class>
<owl:Class rdf:about="#Subtraction">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#PartInstanceDatatypeProperty">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#ofClass"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Ln">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Not">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Sqrt">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf>
<owl:Class rdf:about="#UnaryOperation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#UnaryOperation">
<owl:equivalentClass>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sin"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:cardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#domain_I"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:about="#Operation"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Operation">
<rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
<owl:equivalentClass>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#NullaryOperation"/>
<owl:Class rdf:about="#UnaryOperation"/>
<owl:Class rdf:about="#BinaryOperation"/>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="#Multiplication">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Addition">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Implies"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Sin">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Abs"/>
<owl:Class rdf:about="#Cos"/>
<owl:Class rdf:about="#Exp"/>
<owl:Class rdf:about="#Ln"/>
<owl:Class rdf:about="#Minus"/>
<owl:Class rdf:about="#Not"/>
<owl:Class rdf:about="#Sqrt"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#UnaryOperation"/>
</owl:Class>
<owl:Class rdf:about="#Implies">
<owl:disjointWith>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Addition"/>
<owl:Class rdf:about="#And"/>
<owl:Class rdf:about="#Comparison"/>
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Division"/>
<owl:Class rdf:about="#Multiplication"/>
<owl:Class rdf:about="#Or"/>
<owl:Class rdf:about="#Subtraction"/>
<owl:Class rdf:about="#Xor"/>
</owl:intersectionOf>
</owl:Class>
</owl:disjointWith>
<rdfs:subClassOf rdf:resource="#BinaryOperation"/>
</owl:Class>
<owl:ObjectProperty rdf:about="#domain_I">
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#BinaryOperation"/>
<owl:Class rdf:about="#UnaryOperation"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
<rdfs:range>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Operation"/>
<rdf:Description rdf:about="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
</owl:unionOf>
</owl:Class>
</rdfs:range>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#ofClass">
<rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#PartInstanceDatatypeProperty"/>
<owl:Class rdf:about="#Amount"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#domain_II">
<rdfs:domain rdf:resource="#BinaryOperation"/>
<rdfs:range>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Operation"/>
<rdf:Description rdf:about="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
</owl:unionOf>
</owl:Class>
</rdfs:range>
</owl:ObjectProperty>
<owl:DatatypeProperty rdf:about="#comparitor">
<rdfs:domain rdf:resource="#Comparison"/>
<rdfs:range>
<owl:DataRange>
<owl:oneOf rdf:parseType="Resource">
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
><</rdf:first>
<rdf:rest rdf:parseType="Resource">
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
><=</rdf:first>
<rdf:rest rdf:parseType="Resource">
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
>==</rdf:first>
<rdf:rest rdf:parseType="Resource">
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
>>=</rdf:first>
<rdf:rest rdf:parseType="Resource">
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
>></rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:rest>
</rdf:rest>
</rdf:rest>
</rdf:rest>
</owl:oneOf>
</owl:DataRange>
</rdfs:range>
</owl:DatatypeProperty>
<owl:DatatypeProperty rdf:about="#value">
<rdfs:domain rdf:resource="#Value"/>
</owl:DatatypeProperty>
</rdf:RDF>
<!-- Created with TopBraid Composer -->