Scipediacontent: Scipediacontent moved page Draft Content 473278329 to Almpani et al 2019a

2021-01-28T20:34:17Z

Scipediacontent moved page Draft Content 473278329 to Almpani et al 2019a

Scipediacontent: Created page with " == Abstract == This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) r..."

2021-01-28T20:34:13Z

Created page with " == Abstract == This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) r..."

New page

== Abstract ==

This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations. We focus on the common core of facts and rules in both languages, explaining basic language features. The used knowledge sources are regulations specified in (legal) English, and an aircraft data schema. In the modeling process, inconsistencies in both sources were discovered. We present the discovery process utilizing both specification languages, and highlight their unique features. We introduce three extensions to this ATC KB core: (1) While the current PSOA RuleML does not distinguish the ontology separately from the instance level, IDP does. Hence, we specify a vocabulary-enriched version of ATC KB in IDP for knowledge validation. (2) While the current IDP uses relational modeling, PSOA additionally supports graph modeling. Hence, we specify a relationally interoperable graph version of ATC KB in PSOA. (3) The KB is extended to include optimization criteria to allow the determination of an optimal sequence of more than two aircraft.

== Original document ==

The different versions of the original document can be found in:

* [https://lirias.kuleuven.be/handle/123456789/640163 https://lirias.kuleuven.be/handle/123456789/640163]

* [http://link.springer.com/content/pdf/10.1007/978-3-030-31095-0_4 http://link.springer.com/content/pdf/10.1007/978-3-030-31095-0_4],
: [http://dx.doi.org/10.1007/978-3-030-31095-0_4 http://dx.doi.org/10.1007/978-3-030-31095-0_4] under the license http://www.springer.com/tdm

* [https://doi.org/10.1007/978-3-030-31095-0_4 https://doi.org/10.1007/978-3-030-31095-0_4],
: [http://doi.org/10.1007/978-3-030-31095-0_4 http://doi.org/10.1007/978-3-030-31095-0_4],
: [https://link.springer.com/10.1007/978-3-030-31095-0_4 https://link.springer.com/10.1007/978-3-030-31095-0_4],
: [https://dblp.uni-trier.de/db/conf/ruleml/ruleml2019.html#DeryckMASFOBV19 https://dblp.uni-trier.de/db/conf/ruleml/ruleml2019.html#DeryckMASFOBV19],
: [https://academic.microsoft.com/#/detail/2972699041 https://academic.microsoft.com/#/detail/2972699041]

← Older revision	Revision as of 20:34, 28 January 2021
(No difference)

Almpani et al 2019a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 473278329 to Almpani et al 2019a

Scipediacontent: Created page with " == Abstract == This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) r..."