Browsing by Author "Stolpe, Audun"
Now showing items 1-6 of 6
-
A concept approach to input/output logic
Stolpe, Audun (2015)This paper provides a semantics for input/input output logic based on formal concept analysis. The central result shows that an input/output logic axiomatised by a relation R is the same as the logic induced by deriving ... -
Information integration experiment at NATO CWIX 2012
Hansen, Bjørn Jervell; Halvorsen, Jonas; Stolpe, Audun (2012-09-05)An essential part of the NATO Network Enabled Capability (NNEC) vision is sharing of information in order to enhance shared situational awareness. This is anticipated to be an important contributor to building the decision ... -
A logical characterisation of SPARQL federation
Stolpe, Audun (2014)The paper provides a logical characterisation of distributed processing of SPARQL queries. The principal notion analysed is that of a distribution scheme; a pair consisting of an evaluation rule and a distribution function. ... -
On the roles and synergies of the service oriented architecture - and the semantic technlogies paradigms in an NNEC context
Gjørven, Eli; Stolpe, Audun (2013-01-16)This document compares the Service-oriented Architecture (SOA) with Semantic Technologies with regard to applications within the context of NNEC. We attempt to find out to what degree these two paradigms are overlapping, ... -
On the size of intermediate results in the federated processing of SPARQL BGPs
Halvorsen, Jonas; Stolpe, Audun (2018)This paper is a foundational study in the semantics of federated query answering of SPARQL BGPs. Its specific concern is to explore how the size of intermediate results can be reduced without, from a logical point of view, ... -
Semantikkbasert informasjonsforvaltning for Forsvaret - sluttrapportering av aktiviteten på semantiske teknologier i FFI-prosjekt Informasjons- og integrasjonstjenester i INI
Stolpe, Audun; Hansen, Bjørn Jervell; Halvorsen, Jonas (2016-12-19)Rapporten oppsummerer forskningsaktiviteten på semantiske teknologier i FFI-prosjekt 1277 – Informasjons- og integrasjonstjenester i INI. Delaktivitetens oppgave var å studere hvordan semantiske teknologier kan brukes ...