Abstract Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …

This book is about a significant step forward in software development. It brings state-of-the-
art ontology reasoning into mainstream software development and its languages. Ontology …

Rules and ontologies play a key role in the layered architecture of the Semantic Web, as
they are used to ascribe meaning to, and to reason about, data on the Web. While the …

OBJECTIVES: To develop and apply formal ontology creation methods to the domain of
antimicrobial prescribing and to formally evaluate the resulting ontology through intrinsic …

The Context Aggregation and REasoning (CARE) middleware aims at supporting context-
aware adaptation of internet services in a mobile computing environment. Context …

The correct functioning of Semantic Web applications requires that given RDF graphs
adhere to an expected shape. This shape depends on the RDF graph and the application's …

The success of the Semantic Web highly depends on its ingredients. If we want to fully
realize the vision of a machine-readable Web, it is crucial that Linked Data are actually …

Ontologies and automated reasoning are the building blocks of the Semantic Web initiative.
Derivation rules can be included in an ontology to define derived concepts, based on base …

Abstract A Systems Engineer's Virtual Assistant (SEVA) is a novel attempt to bridge the gap
between Natural Language Processing (NLP), Knowledge Base (KB) Construction research …

Firstly this article presents a thorough discussion of semantics formalization related issues in
model driven engineering (MDE). Then motivated for the purpose of software …