-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
added a public HEPS ingestion package with ARP and GSN support and up…
…dated the code slightly
- Loading branch information
Showing
266 changed files
with
74,530 additions
and
538 deletions.
There are no files selected for viewing
278 changes: 278 additions & 0 deletions
278
...tion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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". | ||
|
69 changes: 69 additions & 0 deletions
69
...gestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlImplicitModel.sadl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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. |
18 changes: 18 additions & 0 deletions
18
examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/ont-policy.rdf
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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> |
24 changes: 24 additions & 0 deletions
24
...s/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process1.sadl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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. ". | ||
|
Oops, something went wrong.