• A New Approach to Streaming Data from the Cloud 

  Robinson, NH; Prudden, R; Arribas, A (American Meteorological Society, 1 November 2017)

  Environmental datasets are becoming so large that they are increasingly being hosted in the compute cloud, where they can be efficiently analyzed and disseminated. However, this necessitates new ways of efficiently delivering ...

• Isabelle/DOF. User and Implementation Manual 

  Brucker, AD; Wolff, B (University of Exeter / Université Paris-Saclay / University of Sheffield, 18 August 2019)

  Isabelle/DOF provides an implementation of DOF on top of Isabelle/HOL. DOF itself is a novel framework for defining ontologies and enforcing them during document development and document evolution. Isabelle/DOF targets ...

• Incorporating Data into EFSM Inference 

  Foster, M; Brucker, AD; Taylor, RG; et al. (Springer Verlag, 5 September 2019)

  Models are an important way of understanding software systems. If they do not already exist, then we need to infer them from system behaviour. Most current approaches infer classical FSM models that do not consider data, ...

• Isabelle/DOF: Design and Implementation 

  Brucker, AD; Wolff, B (Springer Verlag, 9 September 2019)

  DOF is a novel framework for defining ontologies and enforcing them during document development and evolution. A major goal of DOF is the integrated development of formal certification documents (e. g., for Common Criteria ...

• Explanations for Query Answers under Existential Rules 

  Ceylan, II; Lukasiewicz, T; Malizia, E; et al. (IJCAI, 16 August 2019)

  Ontology-mediated query answering is an extensively studied paradigm, which aims at improving query answers with the use of a logical theory. As a form of logical entailment, ontology-mediated query answering is fully ...

View more