diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl index ee5ed0a7..def9ec2f 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl @@ -1,278 +1,248 @@ uri "http://sadl.org/builtinfunctions" alias builtinfunctions. -External lastElement(--) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.LastElement". +External addOne(decimal X) returns decimal: +"org.apache.jena.reasoner.rulesys.builtins#addOne". -External elementAfter(--, --) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementAfter". +External bound(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#bound". -External insertElementInList(--, --, int X3) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.InsertElementInList". +External countLiteralValues(string X, string X) returns int: +"org.apache.jena.reasoner.rulesys.builtins#countLiteralValues". -External sadlListToString(--) returns string: -"com.naturalsemantics.sadl.jena.reasoner.builtin.SadlListToString". +External difference(decimal X, decimal X) returns decimal: +"org.apache.jena.reasoner.rulesys.builtins#difference". -External isListHead(--): -"com.naturalsemantics.sadl.jena.reasoner.builtin.IsListHead". +External ge(decimal X, decimal X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#ge". -External deleteElementFromList(--, int X2) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.DeleteElementFromList". +External le(decimal X, decimal X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#le". -External elementInList(--, int X2) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementInList". +External isBNode(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#isBNode". -External elementBefore(--, --) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.ElementBefore". +External isDType(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#isDType". -External evaluateSadlEquation(...) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.EvaluateSadlEquation". +External isLiteral(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#isLiteral". -External ^index(--, --) returns int: -"com.naturalsemantics.sadl.jena.reasoner.builtin.Index". +External listContains(string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listContains". -External firstElement(--) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.FirstElement". +External listEntry(string X, int X) returns string: +"org.apache.jena.reasoner.rulesys.builtins#listEntry". -External combineUnits(...) returns --: -"com.naturalsemantics.sadl.jena.reasoner.builtin.CombineUnits". +External listEqual(string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listEqual". -External listLength(--) returns int: -"com.naturalsemantics.sadl.jena.reasoner.builtin.ListLength". +External listMapAsObject(string X, string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listMapAsObject". -External oneOf(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.OneOf". +External listMapAsSubject(string X, string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject". -External assign(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Assign". +External listNotContains(string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listNotContains". -External ceiling(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Ceiling". +External listNotEqual(string X, string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#listNotEqual". -External asin(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Asin". +External notBNode(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#notBNode". -External min(decimal X1, decimal X2, ...) returns decimal: -"com.ge.research.sadl.jena.reasoner.builtin.Min". +External notBType(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#notBType". -External noValuesOtherThan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.NoValuesOtherThan". +External notDType(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#notDType". -External thereExists(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.ThereExists". +External notLiteral(string X) returns boolean: +"org.apache.jena.reasoner.rulesys.builtins#notLiteral". -External mod(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Mod". +External now() returns dateTime: +"org.apache.jena.reasoner.rulesys.builtins#now". -External getClassFromConstraint(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.GetClassFromConstraint". +External regex(string X, string X) returns string: +"org.apache.jena.reasoner.rulesys.builtins#regex". -External sum(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Sum". +External strConcat(string X, ...) returns string: +"org.apache.jena.reasoner.rulesys.builtins#strConcat". -External greaterThan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.GreaterThan". +External uriConcat(string X, string X) returns string: +"org.apache.jena.reasoner.rulesys.builtins#uriConcat". -External listConcat(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.ListConcat". +External pow(decimal X, decimal X) returns decimal: +"org.apache.jena.reasoner.rulesys.builtins#pow". -External floor(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Floor". +External sqrt(decimal X) returns decimal: +"org.apache.jena.reasoner.rulesys.builtins#sqrt". -External sqrt(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Sqrt". +External unbound(string X) returns string: +"org.apache.jena.reasoner.rulesys.builtins#unbound". -External acos(decimal X1) returns decimal: -"com.ge.research.sadl.jena.reasoner.builtin.Acos". +External acos(decimal X) returns decimal: +"com.ge.research.sadl.jena.reasoner.builtin#acos". -External sameAs(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.SameAs". +External noValue(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#noValue". -External subtractDates(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.SubtractDates". +External countMatches(...) returns int: +"com.ge.research.sadl.jena.reasoner.builtin#countMatches". -External localname(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Localname". +External mod(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#mod". -External atan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Atan". +External lessThan(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#lessThan". -External listToString(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.ListToString". +External list(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#list". -External abs(decimal X1) returns decimal: -"com.ge.research.sadl.jena.reasoner.builtin.Abs". +External atan(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#atan". -External average(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Average". +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". +"com.ge.research.sadl.jena.reasoner.builtin#unique". -External pow(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Pow". +External average(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#average". -External max(decimal X1, decimal X2, ...) returns decimal: -"com.ge.research.sadl.jena.reasoner.builtin.Max". +External tan(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#tan". -External product(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Product". +External subtractDates(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#subtractDates". -External listSubtract(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.ListSubtract". +External print(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#print". -External tan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Tan". +External listConcat(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#listConcat". External noSubjectsOtherThan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.NoSubjectsOtherThan". +"com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan". -External print(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.Print". +External listSubtract(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#listSubtract". -External countUniqueMatches(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.CountUniqueMatches". +External getClassFromConstraint(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint". -External getInstance(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.GetInstance". +External sum(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#sum". -External lessThan(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.LessThan". +External min(decimal X, decimal X, ...) returns decimal: +"com.ge.research.sadl.jena.reasoner.builtin#min". -External strafter(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.StrAfter". +External asin(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#asin". -External list(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.List". +External pow(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#pow". -External noUnknownValues(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.NoUnknownValues". +External assign(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#assign". 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". +"com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue". -External noValue(...) returns --: -"com.ge.research.sadl.jena.reasoner.builtin.NoValue". +External countUniqueMatches(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches". 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". +"com.ge.research.sadl.jena.reasoner.builtin#cos". -External isDType(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.IsDType". +External floor(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#floor". -External isLiteral(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.IsLiteral". +External listToString(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#listToString". -External le(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.LE". +External abs(decimal X) returns decimal: +"com.ge.research.sadl.jena.reasoner.builtin#abs". -// lessThan (org.apache.jena.reasoner.rulesys.builtins.LessThan) is overridden by com.ge.research.sadl.jena.reasoner.builtin.LessThan +External oneOf(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#oneOf". -External listContains(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListContains". +External getInstance(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#getInstance". -External listEntry(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListEntry". +External max(decimal X, decimal X, ...) returns decimal: +"com.ge.research.sadl.jena.reasoner.builtin#max". -External listEqual(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListEqual". +External ceiling(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#ceiling". -// listLength (org.apache.jena.reasoner.rulesys.builtins.ListLength) is overridden by com.naturalsemantics.sadl.jena.reasoner.builtin.ListLength +External greaterThan(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#greaterThan". -External listMapAsObject(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListMapAsObject". +External sin(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#sin". -External listMapAsSubject(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListMapAsSubject". +External noValuesOtherThan(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan". -External listNotContains(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListNotContains". +External strbefore(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#strbefore". -External listNotEqual(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.ListNotEqual". +External strafter(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#strafter". -// max (org.apache.jena.reasoner.rulesys.builtins.Max) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Max +External thereExists(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#thereExists". -// min (org.apache.jena.reasoner.rulesys.builtins.Min) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Min +External product(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#product". -External notBNode(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.NotBNode". +External localname(...) returns --: +"com.ge.research.sadl.jena.reasoner.builtin#localname". -External notDType(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.NotDType". +External lastElement(--) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement". -External notEqual(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.NotEqual". +External evaluateSadlEquation(...) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation". -External notLiteral(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.NotLiteral". +External sadlListToString(--) returns string: +"com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString". -// noValue (org.apache.jena.reasoner.rulesys.builtins.NoValue) is overridden by com.ge.research.sadl.jena.reasoner.builtin.NoValue +External elementAfter(--, --) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter". -External now(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.Now". +External ^index(--, --) returns int: +"com.naturalsemantics.sadl.jena.reasoner.builtin#index". -// print (org.apache.jena.reasoner.rulesys.builtins.Print) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Print +External elementBefore(--, --) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore". -External regex(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.Regex". +External isListHead(--): +"com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead". -// product (org.apache.jena.reasoner.rulesys.builtins.Product) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Product +External listLength(--) returns int: +"com.naturalsemantics.sadl.jena.reasoner.builtin#listLength". -External quotient(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.Quotient". +External deleteElementFromList(--, int X) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList". -External regex(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.Regex". +External firstElement(--) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement". -External strConcat(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.StrConcat". +External insertElementInList(--, --, int X) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList". -// sum (org.apache.jena.reasoner.rulesys.builtins.Sum) is overridden by com.ge.research.sadl.jena.reasoner.builtin.Sum +External elementInList(--, int X) returns --: +"com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList". External ^table(--) returns --: -"org.apache.jena.reasoner.rulesys.builtins.Table". +"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". +"org.apache.jena.reasoner.rulesys.builtins#tableAll". diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process1.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process1.owl new file mode 100644 index 00000000..f7902985 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process1.owl @@ -0,0 +1,35 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process1.sadl' and should not be directly edited. + + + + + Transition criteria and interrelationship among processes are defined. + Objective-1-2 + + + + + System development and integral processes activities are defined + Objective-1-1 + + + Planning Process + Process-1 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process2.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process2.owl new file mode 100644 index 00000000..13baef2a --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process2.owl @@ -0,0 +1,65 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process2.sadl' and should not be directly edited. + + + Process-2 + + + Aircraft functions are allocated to systems + Objective-2-2 + + + + + Aircraft-level functions, functional requirement, functional interfaces and assumptions are defined + Objective-2-1 + + + + + System derived requirements (including derived safety-related requirements) are defined and rationale explained + Objective-2-4 + + + + + System requirements, including assumptions and system interfaces are defined. + Objective-2-3 + + + + + System requirements are allocated to the items. + Objective-2-6 + + + + + System architecture is defined. + Objective-2-5 + + + Aircraft and System Development Process and Requirements Capture + + + Appropriate item, system and aircraft integrations are performed. + Objective-2-7 + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process3.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process3.owl new file mode 100644 index 00000000..a7292def --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process3.owl @@ -0,0 +1,23 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process3.sadl' and should not be directly edited. + + + Safety Assessment Process + Process-3 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process4.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process4.owl new file mode 100644 index 00000000..ba1a0111 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process4.owl @@ -0,0 +1,53 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process4.sadl' and should not be directly edited. + + + + + Validation compliance substantiation is provided + Objective-4-6 + + + + + Requirements are traceable + Objective-4-4 + + + + + Derived requirements are justified and validated + Objective-4-3 + + + + + Assumptions are justified and validated + Objective-4-2 + + + + + Aircraft, system, item requirements are complete and correct + Objective-4-1 + + + Requirements Validation Process + Process-4 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process5.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process5.owl new file mode 100644 index 00000000..cd613e41 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process5.owl @@ -0,0 +1,23 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process5.sadl' and should not be directly edited. + + + Implementation Verification Process + Process-5 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process6.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process6.owl new file mode 100644 index 00000000..734e0f9d --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process6.owl @@ -0,0 +1,23 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process6.sadl' and should not be directly edited. + + + Configuration Management Process + Process-6 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process7.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process7.owl new file mode 100644 index 00000000..6110bdf2 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process7.owl @@ -0,0 +1,23 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process7.sadl' and should not be directly edited. + + + Process Assurance Process + Process-7 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process8.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process8.owl new file mode 100644 index 00000000..5290fa2a --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE-Process8.owl @@ -0,0 +1,23 @@ + + + + + + + This ontology was created from a SADL file 'PLAN-CORE-Process8.sadl' and should not be directly edited. + + + Certification and Regulatory Authority Coordination Process + Process-8 + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE.owl new file mode 100644 index 00000000..4097efa6 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/PLAN-CORE.owl @@ -0,0 +1,462 @@ + + + + + + + + + This ontology was created from a SADL file 'PLAN-CORE.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + Applicability and Independence by Development Assurance Level is a property of ARP4753 objectives + + + + Outouts of ARP4754 objectives + + + + A generic class for ARP4754 objectives + + + + A generic class for ARP4754 processes + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + System Control Category by Level is a property of ARP4754 objectives + + + + + + + + System Control category 1 + + + System Control category 2 + + + + + The values that can be taken by the System Control category property of an ARP4754 objective + + + + + + + + Level A - Catastrophic + + + Level B - Hazardous/Severe Major + + + Level C - Major + + + Level D - Minor + + + Level E - No Safety Effect + + + + + The Development Assurance Level is a property of a Aircraft/System + + + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + A class for ARP4754 Development Assurance Plans + + + + + + + + Recommended for certification with process independence. + + + Recommended for certification + + + As negotiated for certification + + + Not required for certification + + + + + The values that can be taken by applicability by software level property of objectives + + + + + The objectives associated with the process + + + + + + + + + + + + The value for level E + + + + + + + + + + + + + + + + + + + The value for level D + + + + + + + + + + + + Values of the Applicability by Software Level columns + + + + + The aircraft/system being developed + + + + + Outputs of the objective + + + + + + + + + + + + The value for level A + + + + + + + + + + + + + + + + + + + The value for level C + + + + + + + + + + + + The Processes in the DAP + + + + + + + + + + + + + + + + The value for level B + + + + + + + + + + + + Rviews for objective 4-1 + + + + + The class in project ontology for system requirements + + + + + The class in project ontology for items + + + + + The class in project ontology for systemDesignDescription + + + + + The class in project ontology for systems + + + + + The class in project ontology for interface requirements + + + + + The class in project ontology for interface inputs + + + + + The class in project ontology for derived system requirements + + + + + One or more query IDs that will be required to determine if this objective has passed or failed + + + + + The class in project ontology for interface outputs + + + + + The class in project ontology for item requirements + + + + + Rviews for objective 4-4 + + + + + The class in project ontology for derived item requirements + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBaseModel.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBaseModel.owl new file mode 100644 index 00000000..381cbc34 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBaseModel.owl @@ -0,0 +1,10 @@ + + + Base model for SADL. These concepts can be used without importing. + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBuiltinFunctions.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBuiltinFunctions.owl new file mode 100644 index 00000000..ce483c49 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlBuiltinFunctions.owl @@ -0,0 +1,2092 @@ + + + + + + This ontology was created from a SADL file 'SadlBuiltinFunctions.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches + + + + true + + + + + + + + -- countUniqueMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listConcat + + + + true + + + + + + + + -- listConcat(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#unique + + + + true + + + + + + + + -- unique(...): uri("com.ge.research.sadl.jena.reasoner.builtin#unique") + + + + + com.ge.research.sadl.jena.reasoner.builtin#abs + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal abs(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#abs") + + + + + org.apache.jena.reasoner.rulesys.builtins#addOne + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal addOne(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#addOne") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsObject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsObject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsObject") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead + + + + + + + + + + isListHead(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead") + + + + + org.apache.jena.reasoner.rulesys.builtins#le + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean le(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#le") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBNode") + + + + + com.ge.research.sadl.jena.reasoner.builtin#mod + + + + true + + + + + + + + -- mod(...): uri("com.ge.research.sadl.jena.reasoner.builtin#mod") + + + + + com.ge.research.sadl.jena.reasoner.builtin#ceiling + + + + true + + + + + + + + -- ceiling(...): uri("com.ge.research.sadl.jena.reasoner.builtin#ceiling") + + + + + com.ge.research.sadl.jena.reasoner.builtin#lessThan + + + + true + + + + + + + + -- lessThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#lessThan") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement + + + + + + + + + + -- firstElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement") + + + + + com.ge.research.sadl.jena.reasoner.builtin#localname + + + + true + + + + + + + + -- localname(...): uri("com.ge.research.sadl.jena.reasoner.builtin#localname") + + + + + com.ge.research.sadl.jena.reasoner.builtin#list + + + + true + + + + + + + + -- list(...): uri("com.ge.research.sadl.jena.reasoner.builtin#list") + + + + + com.ge.research.sadl.jena.reasoner.builtin#oneOf + + + + true + + + + + + + + -- oneOf(...): uri("com.ge.research.sadl.jena.reasoner.builtin#oneOf") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- deleteElementFromList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#listLength + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + int listLength(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#listLength") + + + + + com.ge.research.sadl.jena.reasoner.builtin#asin + + + + true + + + + + + + + -- asin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#asin") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#print + + + + true + + + + + + + + -- print(...): uri("com.ge.research.sadl.jena.reasoner.builtin#print") + + + + + org.apache.jena.reasoner.rulesys.builtins#listContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sqrt + + + + true + + + + + + + + -- sqrt(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sqrt") + + + org.apache.jena.reasoner.rulesys.builtins#sqrt + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal sqrt(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#sqrt") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getInstance + + + + true + + + + + + + + -- getInstance(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getInstance") + + + + + com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue + + + + true + + + + + + + + -- notOnlyValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#pow + + + + true + + + + + + + + -- pow(...): uri("com.ge.research.sadl.jena.reasoner.builtin#pow") + + + org.apache.jena.reasoner.rulesys.builtins#pow + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal pow(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#pow") + + + + + org.apache.jena.reasoner.rulesys.builtins#ge + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean ge(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#ge") + + + + + org.apache.jena.reasoner.rulesys.builtins#table + + + + + + + + + + -- table(--): uri("org.apache.jena.reasoner.rulesys.builtins#table") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBType") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsSubject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEntry + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string listEntry(string X,int X): uri("org.apache.jena.reasoner.rulesys.builtins#listEntry") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- elementInList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strbefore + + + + true + + + + + + + + -- strbefore(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strbefore") + + + + + org.apache.jena.reasoner.rulesys.builtins#isLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isLiteral") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore + + + + + + + + + + + + + + + + -- elementBefore(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore") + + + + + com.ge.research.sadl.jena.reasoner.builtin#assign + + + + true + + + + + + + + -- assign(...): uri("com.ge.research.sadl.jena.reasoner.builtin#assign") + + + + + org.apache.jena.reasoner.rulesys.builtins#strConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string strConcat(string X,...): uri("org.apache.jena.reasoner.rulesys.builtins#strConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#floor + + + + true + + + + + + + + -- floor(...): uri("com.ge.research.sadl.jena.reasoner.builtin#floor") + + + + + com.ge.research.sadl.jena.reasoner.builtin#tan + + + + true + + + + + + + + -- tan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#tan") + + + + + org.apache.jena.reasoner.rulesys.builtins#isDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isDType") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation + + + + true + + + + + + + + -- evaluateSadlEquation(...): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + + + + + + -- insertElementInList(--,--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#min + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal min(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#min") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan + + + + true + + + + + + + + -- noSubjectsOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#now + + + + http://www.w3.org/2001/XMLSchema#dateTime + + + + + + + + dateTime now(): uri("org.apache.jena.reasoner.rulesys.builtins#now") + + + + + com.ge.research.sadl.jena.reasoner.builtin#average + + + + true + + + + + + + + -- average(...): uri("com.ge.research.sadl.jena.reasoner.builtin#average") + + + + + com.ge.research.sadl.jena.reasoner.builtin#atan + + + + true + + + + + + + + -- atan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#atan") + + + + + com.ge.research.sadl.jena.reasoner.builtin#greaterThan + + + + true + + + + + + + + -- greaterThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#greaterThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#uriConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string uriConcat(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#uriConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#subtractDates + + + + true + + + + + + + + -- subtractDates(...): uri("com.ge.research.sadl.jena.reasoner.builtin#subtractDates") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement + + + + + + + + + + -- lastElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#index + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + + + + + + + int index(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#index") + + + + + com.ge.research.sadl.jena.reasoner.builtin#cos + + + + true + + + + + + + + -- cos(...): uri("com.ge.research.sadl.jena.reasoner.builtin#cos") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint + + + + true + + + + + + + + -- getClassFromConstraint(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint") + + + + + org.apache.jena.reasoner.rulesys.builtins#regex + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string regex(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#regex") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strafter + + + + true + + + + + + + + -- strafter(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strafter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan + + + + true + + + + + + + + -- noValuesOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#notLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notLiteral") + + + + + com.ge.research.sadl.jena.reasoner.builtin#product + + + + true + + + + + + + + -- product(...): uri("com.ge.research.sadl.jena.reasoner.builtin#product") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter + + + + + + + + + + + + + + + + -- elementAfter(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#countMatches + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + true + + + + + + + + int countMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countMatches") + + + + + org.apache.jena.reasoner.rulesys.builtins#bound + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean bound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#bound") + + + + + com.ge.research.sadl.jena.reasoner.builtin#acos + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal acos(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#acos") + + + + + org.apache.jena.reasoner.rulesys.builtins#isBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isBNode") + + + + + org.apache.jena.reasoner.rulesys.builtins#notDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notDType") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValue + + + + true + + + + + + + + -- noValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sum + + + + true + + + + + + + + -- sum(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sum") + + + + + org.apache.jena.reasoner.rulesys.builtins#tableAll + + + + + + + + + + -- tableAll(--): uri("org.apache.jena.reasoner.rulesys.builtins#tableAll") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listToString + + + + true + + + + + + + + -- listToString(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listToString") + + + + + com.ge.research.sadl.jena.reasoner.builtin#max + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal max(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#max") + + + + + org.apache.jena.reasoner.rulesys.builtins#difference + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal difference(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#difference") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listSubtract + + + + true + + + + + + + + -- listSubtract(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listSubtract") + + + + + org.apache.jena.reasoner.rulesys.builtins#unbound + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string unbound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#unbound") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sin + + + + true + + + + + + + + -- sin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sin") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + + + + + + string sadlListToString(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString") + + + + + org.apache.jena.reasoner.rulesys.builtins#countLiteralValues + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + int countLiteralValues(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#countLiteralValues") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues + + + + true + + + + + + + + -- noUnknownValues(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues") + + + + + com.ge.research.sadl.jena.reasoner.builtin#thereExists + + + + true + + + + + + + + -- thereExists(...): uri("com.ge.research.sadl.jena.reasoner.builtin#thereExists") + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlImplicitModel.owl new file mode 100644 index 00000000..face3ec5 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlImplicitModel.owl @@ -0,0 +1,479 @@ + + + + This ontology was created from a SADL file 'SadlImplicitModel.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + allows direct specification of the semantic type of an argument + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + 1 + + + + + + used to identify necessary patterns in semantic domain terms + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + values of arguments to the built-in + + + + + + + + + + + + + + + + ties the DataDescriptor to the semantic domain model + + + + + + + + + This identifies the GPVariable, if any, in the AugmentedType which is associated with this DataDescriptor + + + + the array of possible units + + + + + + + + + + + + + + + + + the simple data type, e.g., float + + + + + + + + + true if this DataDescriptor represents one or more value else not present in model + + + + + + + + + + + + + + + + + + + + + If this DataDescriptor is associated with a named parameter, this is the name + + + + + + + + + + + + + + + allows reference to self within an Argument's constraints + + + for use with named structures (Equations, NamedQueries, ...), where it has special SADL syntax + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlListModel.owl b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlListModel.owl new file mode 100644 index 00000000..5f05733c --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/SadlListModel.owl @@ -0,0 +1,31 @@ + + + Typed List model for SADL. + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/configuration.rdf b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/configuration.rdf new file mode 100644 index 00000000..b9b50576 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/configuration.rdf @@ -0,0 +1,8 @@ + + + file:/C:/Users/212807042/Desktop/ASE/HEPS_ase_v2/RACK-Ontology + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/ont-policy.rdf b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/ont-policy.rdf index be66cc6b..ffd0ef35 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/ont-policy.rdf +++ b/examples/ingestion-packages/HEPS_ase_v2/ARP4754-DAP-Ontology-v2/OwlModels/ont-policy.rdf @@ -1,18 +1,124 @@ - - - - - -owl - - - - - -dc - - -true -true - + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process6.sadl + p6core + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process7.sadl + p7core + SADL + + + + + + dc + + + + + + true + true + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process1.sadl + p1core + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE.sadl + dapcore + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlImplicitModel.sadl + sadlimplicitmodel + SADL + + + + + + owl + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ImplicitModel/SadlBuiltinFunctions.sadl + builtinfunctions + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process5.sadl + p5core + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process3.sadl + p3core + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process2.sadl + p2core + SADL + + + + + + sadlbasemodel + SADL + + + + + + sadllistmodel + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process8.sadl + p8core + SADL + + + + + + platform:/resource/ARP4754-DAP-Ontology-v2/ontology/PLAN-CORE-Process4.sadl + p4core + SADL + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ImplicitModel/SadlBuiltinFunctions.sadl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ImplicitModel/SadlBuiltinFunctions.sadl new file mode 100644 index 00000000..def9ec2f --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/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". + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ImplicitModel/SadlImplicitModel.sadl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ImplicitModel/SadlImplicitModel.sadl new file mode 100644 index 00000000..bfe297b1 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/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. diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBaseModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBaseModel.owl new file mode 100644 index 00000000..381cbc34 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBaseModel.owl @@ -0,0 +1,10 @@ + + + Base model for SADL. These concepts can be used without importing. + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBuiltinFunctions.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBuiltinFunctions.owl new file mode 100644 index 00000000..ce483c49 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlBuiltinFunctions.owl @@ -0,0 +1,2092 @@ + + + + + + This ontology was created from a SADL file 'SadlBuiltinFunctions.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches + + + + true + + + + + + + + -- countUniqueMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listConcat + + + + true + + + + + + + + -- listConcat(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#unique + + + + true + + + + + + + + -- unique(...): uri("com.ge.research.sadl.jena.reasoner.builtin#unique") + + + + + com.ge.research.sadl.jena.reasoner.builtin#abs + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal abs(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#abs") + + + + + org.apache.jena.reasoner.rulesys.builtins#addOne + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal addOne(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#addOne") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsObject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsObject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsObject") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead + + + + + + + + + + isListHead(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead") + + + + + org.apache.jena.reasoner.rulesys.builtins#le + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean le(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#le") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBNode") + + + + + com.ge.research.sadl.jena.reasoner.builtin#mod + + + + true + + + + + + + + -- mod(...): uri("com.ge.research.sadl.jena.reasoner.builtin#mod") + + + + + com.ge.research.sadl.jena.reasoner.builtin#ceiling + + + + true + + + + + + + + -- ceiling(...): uri("com.ge.research.sadl.jena.reasoner.builtin#ceiling") + + + + + com.ge.research.sadl.jena.reasoner.builtin#lessThan + + + + true + + + + + + + + -- lessThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#lessThan") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement + + + + + + + + + + -- firstElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement") + + + + + com.ge.research.sadl.jena.reasoner.builtin#localname + + + + true + + + + + + + + -- localname(...): uri("com.ge.research.sadl.jena.reasoner.builtin#localname") + + + + + com.ge.research.sadl.jena.reasoner.builtin#list + + + + true + + + + + + + + -- list(...): uri("com.ge.research.sadl.jena.reasoner.builtin#list") + + + + + com.ge.research.sadl.jena.reasoner.builtin#oneOf + + + + true + + + + + + + + -- oneOf(...): uri("com.ge.research.sadl.jena.reasoner.builtin#oneOf") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- deleteElementFromList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#listLength + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + int listLength(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#listLength") + + + + + com.ge.research.sadl.jena.reasoner.builtin#asin + + + + true + + + + + + + + -- asin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#asin") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#print + + + + true + + + + + + + + -- print(...): uri("com.ge.research.sadl.jena.reasoner.builtin#print") + + + + + org.apache.jena.reasoner.rulesys.builtins#listContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sqrt + + + + true + + + + + + + + -- sqrt(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sqrt") + + + org.apache.jena.reasoner.rulesys.builtins#sqrt + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal sqrt(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#sqrt") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getInstance + + + + true + + + + + + + + -- getInstance(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getInstance") + + + + + com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue + + + + true + + + + + + + + -- notOnlyValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#pow + + + + true + + + + + + + + -- pow(...): uri("com.ge.research.sadl.jena.reasoner.builtin#pow") + + + org.apache.jena.reasoner.rulesys.builtins#pow + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal pow(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#pow") + + + + + org.apache.jena.reasoner.rulesys.builtins#ge + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean ge(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#ge") + + + + + org.apache.jena.reasoner.rulesys.builtins#table + + + + + + + + + + -- table(--): uri("org.apache.jena.reasoner.rulesys.builtins#table") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBType") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsSubject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEntry + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string listEntry(string X,int X): uri("org.apache.jena.reasoner.rulesys.builtins#listEntry") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- elementInList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strbefore + + + + true + + + + + + + + -- strbefore(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strbefore") + + + + + org.apache.jena.reasoner.rulesys.builtins#isLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isLiteral") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore + + + + + + + + + + + + + + + + -- elementBefore(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore") + + + + + com.ge.research.sadl.jena.reasoner.builtin#assign + + + + true + + + + + + + + -- assign(...): uri("com.ge.research.sadl.jena.reasoner.builtin#assign") + + + + + org.apache.jena.reasoner.rulesys.builtins#strConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string strConcat(string X,...): uri("org.apache.jena.reasoner.rulesys.builtins#strConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#floor + + + + true + + + + + + + + -- floor(...): uri("com.ge.research.sadl.jena.reasoner.builtin#floor") + + + + + com.ge.research.sadl.jena.reasoner.builtin#tan + + + + true + + + + + + + + -- tan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#tan") + + + + + org.apache.jena.reasoner.rulesys.builtins#isDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isDType") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation + + + + true + + + + + + + + -- evaluateSadlEquation(...): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + + + + + + -- insertElementInList(--,--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#min + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal min(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#min") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan + + + + true + + + + + + + + -- noSubjectsOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#now + + + + http://www.w3.org/2001/XMLSchema#dateTime + + + + + + + + dateTime now(): uri("org.apache.jena.reasoner.rulesys.builtins#now") + + + + + com.ge.research.sadl.jena.reasoner.builtin#average + + + + true + + + + + + + + -- average(...): uri("com.ge.research.sadl.jena.reasoner.builtin#average") + + + + + com.ge.research.sadl.jena.reasoner.builtin#atan + + + + true + + + + + + + + -- atan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#atan") + + + + + com.ge.research.sadl.jena.reasoner.builtin#greaterThan + + + + true + + + + + + + + -- greaterThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#greaterThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#uriConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string uriConcat(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#uriConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#subtractDates + + + + true + + + + + + + + -- subtractDates(...): uri("com.ge.research.sadl.jena.reasoner.builtin#subtractDates") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement + + + + + + + + + + -- lastElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#index + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + + + + + + + int index(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#index") + + + + + com.ge.research.sadl.jena.reasoner.builtin#cos + + + + true + + + + + + + + -- cos(...): uri("com.ge.research.sadl.jena.reasoner.builtin#cos") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint + + + + true + + + + + + + + -- getClassFromConstraint(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint") + + + + + org.apache.jena.reasoner.rulesys.builtins#regex + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string regex(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#regex") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strafter + + + + true + + + + + + + + -- strafter(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strafter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan + + + + true + + + + + + + + -- noValuesOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#notLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notLiteral") + + + + + com.ge.research.sadl.jena.reasoner.builtin#product + + + + true + + + + + + + + -- product(...): uri("com.ge.research.sadl.jena.reasoner.builtin#product") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter + + + + + + + + + + + + + + + + -- elementAfter(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#countMatches + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + true + + + + + + + + int countMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countMatches") + + + + + org.apache.jena.reasoner.rulesys.builtins#bound + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean bound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#bound") + + + + + com.ge.research.sadl.jena.reasoner.builtin#acos + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal acos(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#acos") + + + + + org.apache.jena.reasoner.rulesys.builtins#isBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isBNode") + + + + + org.apache.jena.reasoner.rulesys.builtins#notDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notDType") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValue + + + + true + + + + + + + + -- noValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sum + + + + true + + + + + + + + -- sum(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sum") + + + + + org.apache.jena.reasoner.rulesys.builtins#tableAll + + + + + + + + + + -- tableAll(--): uri("org.apache.jena.reasoner.rulesys.builtins#tableAll") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listToString + + + + true + + + + + + + + -- listToString(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listToString") + + + + + com.ge.research.sadl.jena.reasoner.builtin#max + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal max(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#max") + + + + + org.apache.jena.reasoner.rulesys.builtins#difference + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal difference(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#difference") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listSubtract + + + + true + + + + + + + + -- listSubtract(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listSubtract") + + + + + org.apache.jena.reasoner.rulesys.builtins#unbound + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string unbound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#unbound") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sin + + + + true + + + + + + + + -- sin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sin") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + + + + + + string sadlListToString(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString") + + + + + org.apache.jena.reasoner.rulesys.builtins#countLiteralValues + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + int countLiteralValues(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#countLiteralValues") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues + + + + true + + + + + + + + -- noUnknownValues(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues") + + + + + com.ge.research.sadl.jena.reasoner.builtin#thereExists + + + + true + + + + + + + + -- thereExists(...): uri("com.ge.research.sadl.jena.reasoner.builtin#thereExists") + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlImplicitModel.owl new file mode 100644 index 00000000..62d59fa1 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlImplicitModel.owl @@ -0,0 +1,478 @@ + + + + This ontology was created from a SADL file 'SadlImplicitModel.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + allows direct specification of the semantic type of an argument + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + 1 + + + + + + used to identify necessary patterns in semantic domain terms + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + values of arguments to the built-in + + + + + + + + + + + + + + + + ties the DataDescriptor to the semantic domain model + + + + + + + + + This identifies the GPVariable, if any, in the AugmentedType which is associated with this DataDescriptor + + + + the array of possible units + + + + + + + + + + + + + + + + + the simple data type, e.g., float + + + + + + + + + true if this DataDescriptor represents one or more value else not present in model + + + + + + + + + + + + + + + + + + + + + If this DataDescriptor is associated with a named parameter, this is the name + + + + + + + + + + + + + + + allows reference to self within an Argument's constraints + + + for use with named structures (Equations, NamedQueries, ...), where it has special SADL syntax + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlListModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlListModel.owl new file mode 100644 index 00000000..5f05733c --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/SadlListModel.owl @@ -0,0 +1,31 @@ + + + Typed List model for SADL. + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft-arp4754-config.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft-arp4754-config.owl new file mode 100644 index 00000000..9bad68a8 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft-arp4754-config.owl @@ -0,0 +1,34 @@ + + + + + + + This ontology was created from a SADL file 'aircraft-arp4754-config.sadl' and should not be directly edited. + + + RequirementTraceableReview + SystemReq + RequirementCompleteCorrectReview + ItemDerivedReq + Aircraft + SystemDerivedReq + ItemReq + Output + Input + INTERFACE + SystemDesignDescription + Item + HEPSConfig + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft_arp4754_dap.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft_arp4754_dap.owl new file mode 100644 index 00000000..e49af401 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/aircraft_arp4754_dap.owl @@ -0,0 +1,58 @@ + + + + + + + + + This ontology was created from a SADL file 'aircraft_arp4754_dap.sadl' and should not be directly edited. + + + + + + + + Objective-2-2-query-count-all-inputs-outputs-of-Interfaces + Objective-2-2-query-count-all-Interfaces-allocated-to-a-system + Objective-2-2-query-count-all-System-Requirements-allocated-to-a-system + Objective-2-2-query-count-all-System-Requirements + + + + + + + HEPS Use Case + HEPS + + + HEPS-DAP + + + Development Assurance Plan for the HEPS Project + + + + + + + + Objective-2-6-query-count-all-Item-Requirements-allocated-to-ManufacturedParts + Objective-2-6-query-count-all-Item-Requirements-allocated-to-DesignedParts + Objective-2-6-query-count-all-Item-Requirements-traced-to-system-requirements + Objective-2-6-query-count-all-Item-Requirements + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/configuration.rdf b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/configuration.rdf new file mode 100644 index 00000000..58127d4f --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/configuration.rdf @@ -0,0 +1,9 @@ + + + file:/C:/Users/212807042/Desktop/ASE/HEPS_ase_v2/RACK-Ontology + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/ont-policy.rdf b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/ont-policy.rdf new file mode 100644 index 00000000..b0f926c0 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/OwlModels/ont-policy.rdf @@ -0,0 +1,50 @@ + + + platform:/resource/Aircraft-DAP/ImplicitModel/SadlImplicitModel.sadl + sadlimplicitmodel + SADL + + + + + + sadllistmodel + SADL + + + + + + platform:/resource/Aircraft-DAP/ontology/aircraft-arp4754-config.sadl + aircraftconfig + SADL + + + + + + sadlbasemodel + SADL + + + + + + platform:/resource/Aircraft-DAP/ontology/aircraft_arp4754_dap.sadl + aircraftdap + SADL + + + + + + platform:/resource/Aircraft-DAP/ImplicitModel/SadlBuiltinFunctions.sadl + builtinfunctions + SADL + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ontology/aircraft_arp4754_dap.sadl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ontology/aircraft_arp4754_dap.sadl index 736e7cca..d4fc3a6a 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ontology/aircraft_arp4754_dap.sadl +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-DAP/ontology/aircraft_arp4754_dap.sadl @@ -20,9 +20,9 @@ //-- The DAP - Adept-DAP is a DevelopmentAssurancePlan - with identifier "OEM-DAP" - with description "Development Assurance Plan for the OEM Engine" + HEPS-DAP is a DevelopmentAssurancePlan + with identifier "HEPS-DAP" + with description "Development Assurance Plan for the HEPS Project" with system HEPS with process Process-1 with process Process-2 @@ -41,9 +41,6 @@ Objective-2-2 has query "Objective-2-2-query-count-all-System-Requirements-allocated-to-a-system". Objective-2-2 has query "Objective-2-2-query-count-all-Interfaces-allocated-to-a-system". Objective-2-2 has query "Objective-2-2-query-count-all-inputs-outputs-of-Interfaces". - - //-- Objective 2-4 info - Objective-2-4 has query "Objective-2-4-query-count-all-Derived-System-Requirements". //-- Objective 2-6 info Objective-2-6 has query "Objective-2-6-query-count-all-Item-Requirements". diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/ImplicitModel/SadlBuiltinFunctions.sadl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/ImplicitModel/SadlBuiltinFunctions.sadl new file mode 100644 index 00000000..def9ec2f --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/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". + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/ImplicitModel/SadlImplicitModel.sadl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/ImplicitModel/SadlImplicitModel.sadl new file mode 100644 index 00000000..bfe297b1 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/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. diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftItem.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftItem.owl new file mode 100644 index 00000000..72fb4dfc --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftItem.owl @@ -0,0 +1,103 @@ + + + + + + + This ontology was created from a SADL file 'AircraftItem.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftSystem.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftSystem.owl new file mode 100644 index 00000000..d623cef6 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/AircraftSystem.owl @@ -0,0 +1,85 @@ + + + + + + + + + This ontology was created from a SADL file 'AircraftSystem.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + SYSTEMs classify logical parts of the whole system being developed + + + + + + + + + + + + + + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBaseModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBaseModel.owl new file mode 100644 index 00000000..381cbc34 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBaseModel.owl @@ -0,0 +1,10 @@ + + + Base model for SADL. These concepts can be used without importing. + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBuiltinFunctions.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBuiltinFunctions.owl new file mode 100644 index 00000000..ce483c49 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlBuiltinFunctions.owl @@ -0,0 +1,2092 @@ + + + + + + This ontology was created from a SADL file 'SadlBuiltinFunctions.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches + + + + true + + + + + + + + -- countUniqueMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countUniqueMatches") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listConcat + + + + true + + + + + + + + -- listConcat(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#unique + + + + true + + + + + + + + -- unique(...): uri("com.ge.research.sadl.jena.reasoner.builtin#unique") + + + + + com.ge.research.sadl.jena.reasoner.builtin#abs + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal abs(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#abs") + + + + + org.apache.jena.reasoner.rulesys.builtins#addOne + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal addOne(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#addOne") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsObject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsObject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsObject") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead + + + + + + + + + + isListHead(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#isListHead") + + + + + org.apache.jena.reasoner.rulesys.builtins#le + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean le(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#le") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBNode") + + + + + com.ge.research.sadl.jena.reasoner.builtin#mod + + + + true + + + + + + + + -- mod(...): uri("com.ge.research.sadl.jena.reasoner.builtin#mod") + + + + + com.ge.research.sadl.jena.reasoner.builtin#ceiling + + + + true + + + + + + + + -- ceiling(...): uri("com.ge.research.sadl.jena.reasoner.builtin#ceiling") + + + + + com.ge.research.sadl.jena.reasoner.builtin#lessThan + + + + true + + + + + + + + -- lessThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#lessThan") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement + + + + + + + + + + -- firstElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#firstElement") + + + + + com.ge.research.sadl.jena.reasoner.builtin#localname + + + + true + + + + + + + + -- localname(...): uri("com.ge.research.sadl.jena.reasoner.builtin#localname") + + + + + com.ge.research.sadl.jena.reasoner.builtin#list + + + + true + + + + + + + + -- list(...): uri("com.ge.research.sadl.jena.reasoner.builtin#list") + + + + + com.ge.research.sadl.jena.reasoner.builtin#oneOf + + + + true + + + + + + + + -- oneOf(...): uri("com.ge.research.sadl.jena.reasoner.builtin#oneOf") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- deleteElementFromList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#deleteElementFromList") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#listLength + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + int listLength(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#listLength") + + + + + com.ge.research.sadl.jena.reasoner.builtin#asin + + + + true + + + + + + + + -- asin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#asin") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#print + + + + true + + + + + + + + -- print(...): uri("com.ge.research.sadl.jena.reasoner.builtin#print") + + + + + org.apache.jena.reasoner.rulesys.builtins#listContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sqrt + + + + true + + + + + + + + -- sqrt(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sqrt") + + + org.apache.jena.reasoner.rulesys.builtins#sqrt + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal sqrt(decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#sqrt") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getInstance + + + + true + + + + + + + + -- getInstance(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getInstance") + + + + + com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue + + + + true + + + + + + + + -- notOnlyValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#notOnlyValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#pow + + + + true + + + + + + + + -- pow(...): uri("com.ge.research.sadl.jena.reasoner.builtin#pow") + + + org.apache.jena.reasoner.rulesys.builtins#pow + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal pow(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#pow") + + + + + org.apache.jena.reasoner.rulesys.builtins#ge + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + boolean ge(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#ge") + + + + + org.apache.jena.reasoner.rulesys.builtins#table + + + + + + + + + + -- table(--): uri("org.apache.jena.reasoner.rulesys.builtins#table") + + + + + org.apache.jena.reasoner.rulesys.builtins#notBType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notBType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notBType") + + + + + org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listMapAsSubject(string X,string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listMapAsSubject") + + + + + org.apache.jena.reasoner.rulesys.builtins#listEntry + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string listEntry(string X,int X): uri("org.apache.jena.reasoner.rulesys.builtins#listEntry") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + -- elementInList(--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strbefore + + + + true + + + + + + + + -- strbefore(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strbefore") + + + + + org.apache.jena.reasoner.rulesys.builtins#isLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isLiteral") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore + + + + + + + + + + + + + + + + -- elementBefore(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementBefore") + + + + + com.ge.research.sadl.jena.reasoner.builtin#assign + + + + true + + + + + + + + -- assign(...): uri("com.ge.research.sadl.jena.reasoner.builtin#assign") + + + + + org.apache.jena.reasoner.rulesys.builtins#strConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string strConcat(string X,...): uri("org.apache.jena.reasoner.rulesys.builtins#strConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#floor + + + + true + + + + + + + + -- floor(...): uri("com.ge.research.sadl.jena.reasoner.builtin#floor") + + + + + com.ge.research.sadl.jena.reasoner.builtin#tan + + + + true + + + + + + + + -- tan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#tan") + + + + + org.apache.jena.reasoner.rulesys.builtins#isDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isDType") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation + + + + true + + + + + + + + -- evaluateSadlEquation(...): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#evaluateSadlEquation") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList + + + + + + http://www.w3.org/2001/XMLSchema#int + + + + X + + + + + + + + + + + + + + + + + + -- insertElementInList(--,--,int X): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#insertElementInList") + + + + + com.ge.research.sadl.jena.reasoner.builtin#min + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal min(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#min") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan + + + + true + + + + + + + + -- noSubjectsOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noSubjectsOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#now + + + + http://www.w3.org/2001/XMLSchema#dateTime + + + + + + + + dateTime now(): uri("org.apache.jena.reasoner.rulesys.builtins#now") + + + + + com.ge.research.sadl.jena.reasoner.builtin#average + + + + true + + + + + + + + -- average(...): uri("com.ge.research.sadl.jena.reasoner.builtin#average") + + + + + com.ge.research.sadl.jena.reasoner.builtin#atan + + + + true + + + + + + + + -- atan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#atan") + + + + + com.ge.research.sadl.jena.reasoner.builtin#greaterThan + + + + true + + + + + + + + -- greaterThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#greaterThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#uriConcat + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string uriConcat(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#uriConcat") + + + + + com.ge.research.sadl.jena.reasoner.builtin#subtractDates + + + + true + + + + + + + + -- subtractDates(...): uri("com.ge.research.sadl.jena.reasoner.builtin#subtractDates") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement + + + + + + + + + + -- lastElement(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#lastElement") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#index + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + + + + + + + + + + + + int index(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#index") + + + + + com.ge.research.sadl.jena.reasoner.builtin#cos + + + + true + + + + + + + + -- cos(...): uri("com.ge.research.sadl.jena.reasoner.builtin#cos") + + + + + com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint + + + + true + + + + + + + + -- getClassFromConstraint(...): uri("com.ge.research.sadl.jena.reasoner.builtin#getClassFromConstraint") + + + + + org.apache.jena.reasoner.rulesys.builtins#regex + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + string regex(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#regex") + + + + + com.ge.research.sadl.jena.reasoner.builtin#strafter + + + + true + + + + + + + + -- strafter(...): uri("com.ge.research.sadl.jena.reasoner.builtin#strafter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan + + + + true + + + + + + + + -- noValuesOtherThan(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValuesOtherThan") + + + + + org.apache.jena.reasoner.rulesys.builtins#notLiteral + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notLiteral(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notLiteral") + + + + + com.ge.research.sadl.jena.reasoner.builtin#product + + + + true + + + + + + + + -- product(...): uri("com.ge.research.sadl.jena.reasoner.builtin#product") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter + + + + + + + + + + + + + + + + -- elementAfter(--,--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#elementAfter") + + + + + com.ge.research.sadl.jena.reasoner.builtin#countMatches + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + true + + + + + + + + int countMatches(...): uri("com.ge.research.sadl.jena.reasoner.builtin#countMatches") + + + + + org.apache.jena.reasoner.rulesys.builtins#bound + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean bound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#bound") + + + + + com.ge.research.sadl.jena.reasoner.builtin#acos + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + + decimal acos(decimal X): uri("com.ge.research.sadl.jena.reasoner.builtin#acos") + + + + + org.apache.jena.reasoner.rulesys.builtins#isBNode + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean isBNode(string X): uri("org.apache.jena.reasoner.rulesys.builtins#isBNode") + + + + + org.apache.jena.reasoner.rulesys.builtins#notDType + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + boolean notDType(string X): uri("org.apache.jena.reasoner.rulesys.builtins#notDType") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noValue + + + + true + + + + + + + + -- noValue(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noValue") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sum + + + + true + + + + + + + + -- sum(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sum") + + + + + org.apache.jena.reasoner.rulesys.builtins#tableAll + + + + + + + + + + -- tableAll(--): uri("org.apache.jena.reasoner.rulesys.builtins#tableAll") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listToString + + + + true + + + + + + + + -- listToString(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listToString") + + + + + com.ge.research.sadl.jena.reasoner.builtin#max + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + + true + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal max(decimal X,decimal X,...): uri("com.ge.research.sadl.jena.reasoner.builtin#max") + + + + + org.apache.jena.reasoner.rulesys.builtins#difference + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#decimal + + X + + + + + + + + decimal difference(decimal X,decimal X): uri("org.apache.jena.reasoner.rulesys.builtins#difference") + + + + + com.ge.research.sadl.jena.reasoner.builtin#listSubtract + + + + true + + + + + + + + -- listSubtract(...): uri("com.ge.research.sadl.jena.reasoner.builtin#listSubtract") + + + + + org.apache.jena.reasoner.rulesys.builtins#unbound + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + + string unbound(string X): uri("org.apache.jena.reasoner.rulesys.builtins#unbound") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotEqual + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotEqual(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotEqual") + + + + + com.ge.research.sadl.jena.reasoner.builtin#sin + + + + true + + + + + + + + -- sin(...): uri("com.ge.research.sadl.jena.reasoner.builtin#sin") + + + + + com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString + + + + http://www.w3.org/2001/XMLSchema#string + + + + + + + + + + + + + + string sadlListToString(--): uri("com.naturalsemantics.sadl.jena.reasoner.builtin#sadlListToString") + + + + + org.apache.jena.reasoner.rulesys.builtins#countLiteralValues + + + + http://www.w3.org/2001/XMLSchema#int + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + int countLiteralValues(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#countLiteralValues") + + + + + org.apache.jena.reasoner.rulesys.builtins#listNotContains + + + + http://www.w3.org/2001/XMLSchema#boolean + + + + + + + + + http://www.w3.org/2001/XMLSchema#string + + + + X + + + + + + + http://www.w3.org/2001/XMLSchema#string + + X + + + + + + + + boolean listNotContains(string X,string X): uri("org.apache.jena.reasoner.rulesys.builtins#listNotContains") + + + + + com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues + + + + true + + + + + + + + -- noUnknownValues(...): uri("com.ge.research.sadl.jena.reasoner.builtin#noUnknownValues") + + + + + com.ge.research.sadl.jena.reasoner.builtin#thereExists + + + + true + + + + + + + + -- thereExists(...): uri("com.ge.research.sadl.jena.reasoner.builtin#thereExists") + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlImplicitModel.owl new file mode 100644 index 00000000..ea29408e --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlImplicitModel.owl @@ -0,0 +1,476 @@ + + + + This ontology was created from a SADL file 'SadlImplicitModel.sadl' and should not be directly edited. + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + + + + + + + + + 1 + + + + + + + + + + + 1 + + + + + + allows direct specification of the semantic type of an argument + + + + + + + + + 1 + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + used to identify necessary patterns in semantic domain terms + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + values of arguments to the built-in + + + + + + + + + + + + + + + + ties the DataDescriptor to the semantic domain model + + + + + + + + + This identifies the GPVariable, if any, in the AugmentedType which is associated with this DataDescriptor + + + + the array of possible units + + + + + + + + + + + + + + + + + the simple data type, e.g., float + + + + + + + + + true if this DataDescriptor represents one or more value else not present in model + + + + + + + + + + + + + + + + + + + + + If this DataDescriptor is associated with a named parameter, this is the name + + + + + + + + + + + + + + + allows reference to self within an Argument's constraints + + + for use with named structures (Equations, NamedQueries, ...), where it has special SADL syntax + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlListModel.owl b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlListModel.owl new file mode 100644 index 00000000..5f05733c --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/SadlListModel.owl @@ -0,0 +1,31 @@ + + + Typed List model for SADL. + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/configuration.rdf b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/configuration.rdf new file mode 100644 index 00000000..b9b50576 --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/configuration.rdf @@ -0,0 +1,8 @@ + + + file:/C:/Users/212807042/Desktop/ASE/HEPS_ase_v2/RACK-Ontology + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/ont-policy.rdf b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/ont-policy.rdf new file mode 100644 index 00000000..b5216f4c --- /dev/null +++ b/examples/ingestion-packages/HEPS_ase_v2/Aircraft-Ontology/OwlModels/ont-policy.rdf @@ -0,0 +1,50 @@ + + + platform:/resource/Aircraft-Ontology/ImplicitModel/SadlImplicitModel.sadl + sadlimplicitmodel + SADL + + + + + + sadllistmodel + SADL + + + + + + platform:/resource/Aircraft-Ontology/ontology/AircraftItem.sadl + AcItem + SADL + + + + + + platform:/resource/Aircraft-Ontology/ImplicitModel/SadlBuiltinFunctions.sadl + builtinfunctions + SADL + + + + + + platform:/resource/Aircraft-Ontology/ontology/AircraftSystem.sadl + AcSys + SADL + + + + + + sadlbasemodel + SADL + + + + + diff --git a/examples/ingestion-packages/HEPS_ase_v2/GSN-Ontology/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/GSN-Ontology/OwlModels/SadlImplicitModel.owl index 5b31f3d6..5d257310 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/GSN-Ontology/OwlModels/SadlImplicitModel.owl +++ b/examples/ingestion-packages/HEPS_ase_v2/GSN-Ontology/OwlModels/SadlImplicitModel.owl @@ -88,21 +88,6 @@ - - - - - - - - - - - - - - - @@ -175,38 +160,42 @@ - - + - - 1 - - - + + + + + + + + + - + - + - + + + - + - + @@ -218,6 +207,36 @@ + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + @@ -234,16 +253,16 @@ - + - + - + @@ -274,6 +293,21 @@ + + + + + + + + + + + + + + + @@ -296,7 +330,7 @@ - + 1 @@ -311,36 +345,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -366,7 +370,7 @@ - + @@ -374,7 +378,7 @@ - + values of arguments to the built-in @@ -407,7 +411,7 @@ the array of possible units - + diff --git a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/SadlImplicitModel.owl index 4695fde0..ce8e454c 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/SadlImplicitModel.owl +++ b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/SadlImplicitModel.owl @@ -59,12 +59,27 @@ + + + + + + + + + + + + + + + + + - - - + 1 @@ -88,21 +103,6 @@ - - - - - - - - - - - - - - - @@ -174,12 +174,13 @@ - - + + + 1 @@ -189,50 +190,50 @@ - + - - + 1 + + + + allows direct specification of the semantic type of an argument - - - - + - - + - + - + - + - 1 - - - + + - allows direct specification of the semantic type of an argument - + + + + + @@ -259,10 +260,10 @@ - + - + @@ -277,16 +278,16 @@ - + - + - + @@ -311,7 +312,7 @@ - + 1 @@ -322,24 +323,24 @@ used to identify necessary patterns in semantic domain terms - + + + + - + - + - - - @@ -374,7 +375,7 @@ - + values of arguments to the built-in @@ -407,7 +408,7 @@ the array of possible units - + diff --git a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/heps-pattern.owl b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/heps-pattern.owl index 14c28aae..a9d9b07a 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/heps-pattern.owl +++ b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/OwlModels/heps-pattern.owl @@ -32,7 +32,7 @@ REVIEW_STATE - REQUIREMENT + ENTITY Claim: Item Requirement has passed review itemReq-GP - platform:/resource/HEPS-GSN-Pattern/ImplicitModel/SadlBuiltinFunctions.sadl - builtinfunctions - SADL + platform:/resource/HEPS-GSN-Pattern/ontology/heps-pattern.sadl + - - + SADL + + hepspat - platform:/resource/HEPS-GSN-Pattern/ImplicitModel/SadlImplicitModel.sadl - sadlimplicitmodel + sadllistmodel SADL - - + + sadlbasemodel @@ -25,18 +24,19 @@ - platform:/resource/HEPS-GSN-Pattern/ontology/heps-pattern.sadl - - SADL + platform:/resource/HEPS-GSN-Pattern/ImplicitModel/SadlImplicitModel.sadl + - - hepspat + SADL + sadlimplicitmodel + - sadllistmodel - SADL + platform:/resource/HEPS-GSN-Pattern/ImplicitModel/SadlBuiltinFunctions.sadl + - - + SADL + builtinfunctions + diff --git a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/ontology/heps-pattern.sadl b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/ontology/heps-pattern.sadl index 20b18993..9e2e821e 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/ontology/heps-pattern.sadl +++ b/examples/ingestion-packages/HEPS_ase_v2/HEPS-GSN-Pattern/ontology/heps-pattern.sadl @@ -10,7 +10,7 @@ with isPat true with identifier "itemReq-GP" with description "Claim: Item Requirement has passed review" - with pGoal "REQUIREMENT". + with pGoal "ENTITY". diff --git a/examples/ingestion-packages/HEPS_ase_v2/RACK-Ontology/OwlModels/SadlImplicitModel.owl b/examples/ingestion-packages/HEPS_ase_v2/RACK-Ontology/OwlModels/SadlImplicitModel.owl index 68d67147..0127bac4 100644 --- a/examples/ingestion-packages/HEPS_ase_v2/RACK-Ontology/OwlModels/SadlImplicitModel.owl +++ b/examples/ingestion-packages/HEPS_ase_v2/RACK-Ontology/OwlModels/SadlImplicitModel.owl @@ -88,6 +88,21 @@ + + + + + + + + + + + + + + + @@ -146,6 +161,23 @@ + + + + + + + + + + + + + + + + + @@ -159,23 +191,7 @@ - - - - - - - - - - - - - - - - @@ -188,37 +204,22 @@ - + - + - + - - - - - - - - - - - - - - - @@ -234,31 +235,31 @@ - + - + - + - + - + - + @@ -292,6 +293,21 @@ + + + + + + + + + + + + + + + @@ -326,21 +342,6 @@ - - - - - - - - - - - - - - -