Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Pervasive and sensor-driven systems are by nature open and extensible, both in terms of
input and tasks they are required to perform. Data streams coming from sensors are …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

Increasingly, companies use multi-source data to operate new information systems, such as
social networking, e-commerce, and location-based services. These systems leverage …

Abstract An Introduction to Ontology Engineering is a free online textbook that provides an
overview of ontology engineering, including logics and automated reasoning, methods and …

Most of the research on temporalized Description Logics (DLs) has concentrated on the
case where temporal operators can be applied to concepts, and sometimes additionally to …

Ontologies are becoming a core technology for supporting the sharing, integration, and
management of information sources in Semantic Web applications. As critical as ontologies …