Ase

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

@@ -0,0 +1,278 @@
+uri "http://sadl.org/builtinfunctions" alias builtinfunctions.
+
+External lastElement(--) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.LastElement".
+
+External elementAfter(--, --) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementAfter".
+
+External insertElementInList(--, --, int X3) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.InsertElementInList".
+
+External sadlListToString(--) returns string:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.SadlListToString".
+
+External isListHead(--):
+"com.naturalsemantics.sadl.jena.reasoner.builtin.IsListHead".
+
+External deleteElementFromList(--, int X2) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.DeleteElementFromList".
+
+External elementInList(--, int X2) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementInList".
+
+External elementBefore(--, --) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementBefore".
+
+External evaluateSadlEquation(...) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.EvaluateSadlEquation".
+
+External ^index(--, --) returns int:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.Index".
+
+External firstElement(--) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.FirstElement".
+
+External combineUnits(...) returns --:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.CombineUnits".
+
+External listLength(--) returns int:
+"com.naturalsemantics.sadl.jena.reasoner.builtin.ListLength".
+
+External oneOf(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.OneOf".
+
+External assign(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Assign".
+
+External ceiling(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Ceiling".
+
+External asin(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Asin".
+
+External min(decimal X1, decimal X2, ...) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin.Min".
+
+External noValuesOtherThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.NoValuesOtherThan".
+
+External thereExists(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.ThereExists".
+
+External mod(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Mod".
+
+External getClassFromConstraint(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.GetClassFromConstraint".
+
+External sum(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Sum".
+
+External greaterThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.GreaterThan".
+
+External listConcat(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.ListConcat".
+
+External floor(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Floor".
+
+External sqrt(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Sqrt".
+
+External acos(decimal X1) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin.Acos".
+
+External sameAs(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.SameAs".
+
+External subtractDates(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.SubtractDates".
+
+External localname(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Localname".
+
+External atan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Atan".
+
+External listToString(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.ListToString".
+
+External abs(decimal X1) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin.Abs".
+
+External average(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Average".
+
+External ^unique(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Unique".
+
+External pow(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Pow".
+
+External max(decimal X1, decimal X2, ...) returns decimal:
+"com.ge.research.sadl.jena.reasoner.builtin.Max".
+
+External product(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Product".
+
+External listSubtract(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.ListSubtract".
+
+External tan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Tan".
+
+External noSubjectsOtherThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.NoSubjectsOtherThan".
+
+External print(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Print".
+
+External countUniqueMatches(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.CountUniqueMatches".
+
+External getInstance(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.GetInstance".
+
+External lessThan(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.LessThan".
+
+External strafter(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.StrAfter".
+
+External list(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.List".
+
+External noUnknownValues(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.NoUnknownValues".
+
+External notOnlyValue(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.NotOnlyValue".
+
+External differentFrom(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.DifferentFrom".
+
+External sin(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Sin".
+
+External noValue(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.NoValue".
+
+External cos(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.Cos".
+
+External strbefore(...) returns --:
+"com.ge.research.sadl.jena.reasoner.builtin.StrBefore".
+
+External countMatches(...) returns int:
+"com.ge.research.sadl.jena.reasoner.builtin.CountMatches".
+
+External addOne(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.AddOne".
+
+External bound(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Bound".
+
+External countLiteralValues(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.CountLiteralValues".
+
+External difference(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Difference".
+
+External equal(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Equal".
+
+External ge(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.GE".
+
+// greaterThan (org.apache.jena.reasoner.rulesys.builtins.GreaterThan) is overridden by com.ge.research.sadl.jena.reasoner.builtin.GreaterThan
+
+External isBNode(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.IsBNode".
+
+External isDType(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.IsDType".
+
+External isLiteral(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.IsLiteral".
+
+External le(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.LE".
+
+// lessThan (org.apache.jena.reasoner.rulesys.builtins.LessThan) is overridden by com.ge.research.sadl.jena.reasoner.builtin.LessThan
+
+External listContains(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListContains".
+
+External listEntry(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListEntry".
+
+External listEqual(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListEqual".
+
+// listLength (org.apache.jena.reasoner.rulesys.builtins.ListLength) is overridden by com.naturalsemantics.sadl.jena.reasoner.builtin.ListLength
+
+External listMapAsObject(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListMapAsObject".
+
+External listMapAsSubject(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListMapAsSubject".
+
+External listNotContains(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListNotContains".
+
+External listNotEqual(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.ListNotEqual".
+
+// max (org.apache.jena.reasoner.rulesys.builtins.Max) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Max
+
+// min (org.apache.jena.reasoner.rulesys.builtins.Min) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Min
+
+External notBNode(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.NotBNode".
+
+External notDType(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.NotDType".
+
+External notEqual(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.NotEqual".
+
+External notLiteral(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.NotLiteral".
+
+// noValue (org.apache.jena.reasoner.rulesys.builtins.NoValue) is overridden by com.ge.research.sadl.jena.reasoner.builtin.NoValue
+
+External now(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Now".
+
+// print (org.apache.jena.reasoner.rulesys.builtins.Print) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Print
+
+External regex(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Regex".
+
+// product (org.apache.jena.reasoner.rulesys.builtins.Product) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Product
+
+External quotient(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Quotient".
+
+External regex(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Regex".
+
+External strConcat(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.StrConcat".
+
+// sum (org.apache.jena.reasoner.rulesys.builtins.Sum) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Sum
+
+External ^table(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Table".
+
+External tableAll(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.TableAll".
+
+External unbound(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.Unbound".
+
+External uriConcat(--) returns --:
+"org.apache.jena.reasoner.rulesys.builtins.UriConcat".
+

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/ont-policy.rdf

@@ -0,0 +1,18 @@
+<?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="http://jena.hpl.hp.com/schemas/2003/03/ont-manager#" xml:base="http://jena.hpl.hp.com/schemas/2003/03/ont-manager#">
+<OntologySpec>
+<language rdf:resource="http://www.w3.org/2002/07/owl"/>
+<publicURI rdf:resource="http://www.w3.org/2002/07/owl"/>
+<prefix rdf:datatype="http://www.w3.org/2001/XMLSchema#string">owl</prefix>
+</OntologySpec>
+<OntologySpec>
+<altURL rdf:resource="http://protege.stanford.edu/plugins/owl/dc/protege-dc.owl"/>
+<publicURI rdf:resource="http://purl.org/dc/elements/1.1/"/>
+<language rdf:resource="http://www.w3.org/2002/07/owl"/>
+<prefix rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dc</prefix>
+</OntologySpec>
+<DocumentManagerPolicy>
+<cacheModels rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</cacheModels>
+<processImports rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</processImports>
+</DocumentManagerPolicy>
+</rdf:RDF>

examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process1.sadl

@@ -0,0 +1,24 @@
+
+ //-- Author: Saswata Paul
+ //-- An ontology to specify the different objectives and their related properties in an ARP4754 Development Assurance Plan (DAP) 
+
+ uri "http://sadl.org/PLAN-CORE-Process1.sadl" alias p1core.
+
+ import "http://sadl.org/PLAN-CORE.sadl".
+
+ Process-1 is a Process
+ 	with identifier "Process-1"
+ 	with description "Planning Process"
+  	with objective Objective-1-1
+  	with objective Objective-1-2.
+
+  Objective-1-1 is a Objective
+  	with identifier "Objective-1-1"
+  	with description "System development and integral processes activities are defined ". 
+
+
+
+  Objective-1-2 is a Objective
+  	with identifier "Objective-1-2"
+  	with description "Transition criteria and interrelationship among processes are defined. ". 
+