ASE 2024

examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl

@@ -0,0 +1,248 @@
+uri "http://sadl.org/builtinfunctions" alias builtinfunctions.
+
+External addOne(decimal X) returns decimal:
+"org.apache.jena.reasoner.rulesys.builtins#addOne".
+
+External bound(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#bound".
+
+External countLiteralValues(string X, string X) returns int:
+"org.apache.jena.reasoner.rulesys.builtins#countLiteralValues".
+
+External difference(decimal X, decimal X) returns decimal:
+"org.apache.jena.reasoner.rulesys.builtins#difference".
+
+External ge(decimal X, decimal X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#ge".
+
+External le(decimal X, decimal X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#le".
+
+External isBNode(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#isBNode".
+
+External isDType(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#isDType".
+
+External isLiteral(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#isLiteral".
+
+External listContains(string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listContains".
+
+External listEntry(string X, int X) returns string:
+"org.apache.jena.reasoner.rulesys.builtins#listEntry".
+
+External listEqual(string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listEqual".
+
+External listMapAsObject(string X, string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listMapAsObject".
+
+External listMapAsSubject(string X, string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject".
+
+External listNotContains(string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listNotContains".
+
+External listNotEqual(string X, string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#listNotEqual".
+
+External notBNode(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#notBNode".
+
+External notBType(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#notBType".
+
+External notDType(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#notDType".
+
+External notLiteral(string X) returns boolean:
+"org.apache.jena.reasoner.rulesys.builtins#notLiteral".
+
+External now() returns dateTime:
+"org.apache.jena.reasoner.rulesys.builtins#now".
+
+External regex(string X, string X) returns string:
+"org.apache.jena.reasoner.rulesys.builtins#regex".
+
+External strConcat(string X, ...) returns string:
+"org.apache.jena.reasoner.rulesys.builtins#strConcat".
+
+External uriConcat(string X, string X) returns string:
+"org.apache.jena.reasoner.rulesys.builtins#uriConcat".
+
+External pow(decimal X, decimal X) returns decimal:
+"org.apache.jena.reasoner.rulesys.builtins#pow".
+
+External sqrt(decimal X) returns decimal:
+"org.apache.jena.reasoner.rulesys.builtins#sqrt".
+
+External unbound(string X) returns string:
+"org.apache.jena.reasoner.rulesys.builtins#unbound".
+
+External acos(decimal X) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin#acos".
+
+External noValue(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#noValue".
+
+External countMatches(...) returns int:
+"com.ge.research.sadl.jena.reasoner.builtin#countMatches".
+
+External mod(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#mod".
+
+External lessThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#lessThan".
+
+External list(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#list".
+
+External atan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#atan".
+
+External sqrt(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#sqrt".
+
+External noUnknownValues(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues".
+
+External ^unique(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#unique".
+
+External average(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#average".
+
+External tan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#tan".
+
+External subtractDates(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#subtractDates".
+
+External print(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#print".
+
+External listConcat(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#listConcat".
+
+External noSubjectsOtherThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan".
+
+External listSubtract(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#listSubtract".
+
+External getClassFromConstraint(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint".
+
+External sum(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#sum".
+
+External min(decimal X, decimal X, ...) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin#min".
+
+External asin(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#asin".
+
+External pow(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#pow".
+
+External assign(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#assign".
+
+External notOnlyValue(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue".
+
+External countUniqueMatches(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches".
+
+External cos(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#cos".
+
+External floor(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#floor".
+
+External listToString(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#listToString".
+
+External abs(decimal X) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin#abs".
+
+External oneOf(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#oneOf".
+
+External getInstance(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#getInstance".
+
+External max(decimal X, decimal X, ...) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin#max".
+
+External ceiling(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#ceiling".
+
+External greaterThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#greaterThan".
+
+External sin(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#sin".
+
+External noValuesOtherThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan".
+
+External strbefore(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#strbefore".
+
+External strafter(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#strafter".
+
+External thereExists(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#thereExists".
+
+External product(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#product".
+
+External localname(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin#localname".
+
+External lastElement(--) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement".
+
+External evaluateSadlEquation(...) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation".
+
+External sadlListToString(--) returns string:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString".
+
+External elementAfter(--, --) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter".
+
+External ^index(--, --) returns int:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#index".
+
+External elementBefore(--, --) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore".
+
+External isListHead(--):
+"com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead".
+
+External listLength(--) returns int:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#listLength".
+
+External deleteElementFromList(--, int X) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList".
+
+External firstElement(--) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement".
+
+External insertElementInList(--, --, int X) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList".
+
+External elementInList(--, int X) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList".
+
+External ^table(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins#table".
+
+External tableAll(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins#tableAll".
+

examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlImplicitModel.sadl

@@ -0,0 +1,69 @@
+uri "http://sadl.org/sadlimplicitmodel" alias sadlimplicitmodel.
+/****** The content of this model is automatically included in every SADL model ******/
+
+impliedProperty is a type of annotation.
+expandedProperty is a type of annotation.
+ScientificConcept is a class.
+UnittedQuantity is a type of ScientificConcept,
+	described by ^value with values of type decimal,
+	described by stddev with values of type decimal,
+	described by unit with values of type string.
+
+DataDescriptor is a class, described by localDescriptorName (note "If this DataDescriptor is associated with a named parameter, this is the name") with values of type string,
+	described by dataType (note "the simple data type, e.g., float") with values of type anyURI,
+	described by variableNumArguments (note "true if this DataDescriptor represents one or more value else not present in model") with values of type boolean,
+	described by specifiedUnits (note "the array of possible units") with values of type string List,
+	described by augmentedType (note "ties the DataDescriptor to the semantic domain model") with values of type AugmentedType,
+	described by descriptorVariable (note "This identifies the GPVariable, if any, in the AugmentedType which is associated with this DataDescriptor").
+localDescriptorName of DataDescriptor has at most 1 value.
+dataType of DataDescriptor has at most 1 value.
+specifiedUnits of DataDescriptor has at most 1 value.
+descriptorVariable of DataDescriptor has at most 1 value.
+
+Language is a class.
+{Java, Python, Text, OtherLanguage} are instances of Language.
+Script is a class, described by language with a single value of type Language,
+	described by script with a single value of type string.
+^Equation is a class,
+	described by expression with values of type Script.
+arguments describes ^Equation with values of type DataDescriptor List.
+arguments of ^Equation has at most 1 value.
+returnTypes describes ^Equation with values of type DataDescriptor List.
+returnTypes of ^Equation has at most 1 value.
+
+ExternalEquation is a type of ^Equation,
+	described by externalURI with a single value of type anyURI,
+	described by externalURL with values of type anyURI.
+
+AugmentedType is a class.
+SemanticType (note "allows direct specification of the semantic type of an argument") is a type of AugmentedType, 
+	described by semType with a single value of type class.
+GraphPattern is a class.
+{TriplePattern, FunctionPattern} are types of GraphPattern.
+gpSubject describes TriplePattern.
+gpPredicate describes TriplePattern.
+gpObject describes TriplePattern.
+builtin describes FunctionPattern with a single value of type ^Equation.
+GPAtom is a class.
+{GPVariable, GPLiteralValue, GPResource} are types of GPAtom.
+gpVariableName describes GPVariable with a single value of type string.
+gpLiteralValue describes GPLiteralValue with values of type data.
+argValues (note "values of arguments to the built-in") describes FunctionPattern with a single value of type GPAtom List.
+
+SemanticConstraint (note "used to identify necessary patterns in semantic domain terms") is a type of AugmentedType, 
+	described by constraints with a single value of type GraphPattern List.
+ThisArgument (note "allows reference to self within an Argument's constraints") is a DataDescriptor.
+
+anyDataType (note "union of all relevant data types") is a type of {decimal or boolean or string or date or dateTime or anyURI}.
+DataTableRow is a class,
+	described by rowValues with a single value of type anyDataType List.
+DataTable is a class,
+	described by columnDescriptors with a single value of type DataDescriptor List,
+	described by dataContent with a single value of type DataTableRow List,
+	described by dataLocation with a single value of type anyURI.
+
+^Rule is a class.
+NamedQuery is a class.
+derivedFrom (note "for use with named structures (Equations, NamedQueries, ...), where it has special SADL syntax") 
+	is a type of annotation.
+Plus is a GPAtom.

examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process1.owl

@@ -0,0 +1,35 @@
+<rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:j.0="http://arcos.rack/PROV-S#"
+    xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"
+    xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
+    xmlns:p1core="http://sadl.org/PLAN-CORE-Process1.sadl#"
+    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
+    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+    xmlns:dapcore="http://sadl.org/PLAN-CORE.sadl#">
+  <owl:Ontology rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl">
+    <owl:imports rdf:resource="http://sadl.org/PLAN-CORE.sadl"/>
+    <owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
+    <owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
+    <owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
+    <rdfs:comment xml:lang="en">This ontology was created from a SADL file 'PLAN-CORE-Process1.sadl' and should not be directly edited.</rdfs:comment>
+  </owl:Ontology>
+  <dapcore:Process rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Process-1">
+    <dapcore:objective>
+      <dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Objective-1-2">
+        <j.0:description>Transition criteria and interrelationship among processes are defined. </j.0:description>
+        <j.0:identifier>Objective-1-2</j.0:identifier>
+      </dapcore:Objective>
+    </dapcore:objective>
+    <dapcore:objective>
+      <dapcore:Objective rdf:about="http://sadl.org/PLAN-CORE-Process1.sadl#Objective-1-1">
+        <j.0:description>System development and integral processes activities are defined </j.0:description>
+        <j.0:identifier>Objective-1-1</j.0:identifier>
+      </dapcore:Objective>
+    </dapcore:objective>
+    <j.0:description>Planning Process</j.0:description>
+    <j.0:identifier>Process-1</j.0:identifier>
+  </dapcore:Process>
+</rdf:RDF>