B.5 Modelos Adicionais
B.5.1 Modelo OWL do sistema InteliStrata
<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.owl-ontologies.com/InteliSrata.owl#"
xml:base="http://www.owl-ontologies.com/InteliSrata.owl"
xmlns:slo="http://www.owl-ontologies.com/SemanticLevelOntology.owl#"
xmlns:dom="http://www.owl-ontologies.com/StratigraphyOntology.owl#"
xmlns:spo="http://www.owl-ontologies.com/SignalProcessingOntology.owl#"
xmlns:abox="http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl#"
xmlns:sqwrl="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:swrl="http://www.w3.org/2003/11/swrl#"
xmlns:fuzzy="http://swrl.stanford.edu/ontologies/built-ins/3.3/fuzzy.owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:alo="http://www.owl-ontologies.com/AnalogLevelOntology.owl#"
xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"
xmlns:swrlx="http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#"
xmlns:mapo="http://www.owl-ontologies.com/MappingOntology.owl#"
xmlns:vlo="http://www.owl-ontologies.com/VisualLevel.owl#"
xmlns:ineq="http://www.owl-ontologies.com/InequalityOntology.owl#"
xmlns:swrlm="http://swrl.stanford.edu/ontologies/built-ins/3.4/swrlm.owl#"
xmlns:temporal="http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#"
xmlns:swrli="http://swrl.stanford.edu/ontologies/built-ins/3.4/swrli.owl#"
xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:tbox="http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl#"
xmlns:part=
"http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/part.owl#"
xmlns:swrlineq="http://swrl.stanford.edu/ontologies/built-ins/3.3/swrli.owl#"
xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#">
<owl:Ontology rdf:about="">
<owl:imports
rdf:resource="http://www.owl-ontologies.com/StratigraphyOntology.owl"/>
rdf:resource="http://www.owl-ontologies.com/MappingOntology.owl"/>
<owl:imports
rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl"/>
<owl:imports
rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/fuzzy.owl"/>
</owl:Ontology>
<rdf:Description rdf:about="&dom;MaximumFloodingSurface">
<mapo:groundedByDG rdf:resource="#sdgMaximumFloodingSurface"/>
</rdf:Description>
<rdf:Description rdf:about="&dom;Parassequence">
<mapo:groundedByDG rdf:resource="#sdgParassequence"/>
</rdf:Description>
<rdf:Description rdf:about="&dom;Sequence">
<mapo:groundedByDG rdf:resource="#sdgDomSequence"/>
</rdf:Description>
<ParassequenceLengthValue rdf:ID="LongLengthParassequence">
<ineq:greaterThan rdf:resource="#MediumLengthParassequence"/>
</ParassequenceLengthValue>
<SequenceLengthValue rdf:ID="LongLengthSequence">
<ineq:smallerThan rdf:resource="#VeryLongLengthSequence"/>
<ineq:greaterThan rdf:resource="#MediumLengthSequence"/>
</SequenceLengthValue>
<ParassequenceLengthValue rdf:ID="MediumLengthParassequence">
<ineq:smallerThan rdf:resource="#LongLengthParassequence"/>
<ineq:greaterThan rdf:resource="#ShortLengthParassequence"/>
</ParassequenceLengthValue>
<SequenceLengthValue rdf:ID="MediumLengthSequence">
<ineq:smallerThan rdf:resource="#LongLengthSequence"/>
<ineq:greaterThan rdf:resource="#ShortLengthSequence"/>
</SequenceLengthValue>
<owl:Class rdf:ID="ParassequenceLengthValue">
<owl:equivalentClass>
<rdfs:subClassOf rdf:resource="&vlo;LengthValue"/>
</owl:Class>
<swrla:RuleGroup rdf:ID="sdgDomSequence">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&dom;Sequence"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgGaussianCurve">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&vlo;GaussianCurve"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgMaximumFloodingSurface">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&dom;MaximumFloodingSurface"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgMaximumPoint">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&vlo;MaximumPoint"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgParassequence">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&dom;Parassequence"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgSmoothToothCurve">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&vlo;SmoothToothCurve"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgVloLength">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&vlo;hasLength"/>
</swrla:RuleGroup>
<swrla:RuleGroup rdf:ID="sdgVloSpatialRelation">
<swrla:isRuleGroupEnabled
rdf:datatype="&xsd;boolean">true</swrla:isRuleGroupEnabled>
<mapo:groundingPrimitive rdf:resource="&vlo;hasVisualProperty"/>
</swrla:RuleGroup>
<owl:Class rdf:ID="SequenceLengthValue">
<owl:equivalentClass>
<rdfs:subClassOf rdf:resource="&vlo;LengthValue"/>
</owl:Class>
<ParassequenceLengthValue rdf:ID="ShortLengthParassequence">
<ineq:smallerThan rdf:resource="#MediumLengthParassequence"/>
</ParassequenceLengthValue>
<SequenceLengthValue rdf:ID="ShortLengthSequence">
<ineq:smallerThan rdf:resource="#MediumLengthSequence"/>
<ineq:greaterThan rdf:resource="#VeryShortLengthSequence"/>
</SequenceLengthValue>
<SequenceLengthValue rdf:ID="VeryLongLengthSequence">
<ineq:greaterThan rdf:resource="#LongLengthSequence"/>
</SequenceLengthValue>
<SequenceLengthValue rdf:ID="VeryShortLengthSequence">
<ineq:smallerThan rdf:resource="#ShortLengthSequence"/>
</SequenceLengthValue>
<rdf:Description rdf:about="&vlo;GaussianCurve">
<mapo:groundedByDG rdf:resource="#sdgGaussianCurve"/>
</rdf:Description>
<rdf:Description rdf:about="&vlo;hasLength">
<rdfs:domain rdf:resource="&vlo;Curve"/>
<mapo:groundedByDG rdf:resource="#sdgVloLength"/>
</rdf:Description>
<rdf:Description rdf:about="&vlo;hasVisualProperty">
<rdfs:domain rdf:resource="&vlo;VisualEntity"/>
<mapo:groundedByDG rdf:resource="#sdgVloSpatialRelation"/>
</rdf:Description>
<rdf:Description rdf:about="&vlo;hasSmoothToothCurveCharacteristic"/>
<rdf:Description rdf:about="&vlo;MaximumPoint">
<mapo:groundedByDG rdf:resource="#sdgMaximumPoint"/>
</rdf:Description>
<rdf:Description rdf:about="&vlo;SmoothToothCurve">
<mapo:groundedByDG rdf:resource="#sdgSmoothToothCurve"/>
</rdf:Description>
</rdf:RDF>