Search Results for author:
Found 24 papers, 1 papers with code
Integrating 3D City Data through Knowledge Graphs
Moreover, embracing KGs makes it easier to integrate with other spatial data sources, e. g., OpenStreetMap and existing (Geo)KGs (e. g., Wikidata, DBPedia, and GeoNames), and to perform queries combining information from multiple data sources.
AI-Augmented Business Process Management Systems: A Research Manifesto
AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology.
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems.
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]
We demonstrate that our system is uniquely accessible to a wide range of users from larger scientific communities to the public.
Mapping Patterns for Virtual Knowledge Graphs
Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources.
Counting Query Answers over a DL-Lite Knowledge Base (extended version)
Counting answers to a query is an operation supported by virtually all database management systems.
On Expansion and Contraction of DL-Lite Knowledge Bases
Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite.
Enriching Ontology-based Data Access with Provenance (Extended Version)
In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance.
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes.
Data Scaling in OBDA Benchmarks: The VIG Approach
The advantage of the approach is that the user is not required to manually input the characteristics of the data to be produced, making it particularly suitable for OBDA benchmarks, where the complexity of database schemas might pose a challenge for manual input (e. g., the NPD benchmark contains 70 tables with some containing more than 60 columns).
Databases
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)
Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings.
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects.
Adding Context to Knowledge and Action Bases
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution.
Verification of Relational Multiagent Systems with Data Types (Extended Version)
We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders).
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
In this paper, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications.
Nested Regular Path Queries in Description Logics
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data.
Reasoning about Explanations for Negative Query Answers in DL-Lite
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services.
Description Logic Knowledge and Action Bases
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects.
The DL-Lite Family and Relations
The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other.
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects.
Exchanging OWL 2 QL Knowledge Bases
Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping.
