Description logics

F Baader, I Horrocks, U Sattler - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary This chapter discusses description logics (DLs), which are a family of
logic-based knowledge representation languages that can be used to represent the …

An overview of tableau algorithms for description logics

F Baader, U Sattler - Studia Logica, 2001 - Springer
Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …

[图书][B] Introduction to description logic

F Baader, I Horrocks, C Lutz, U Sattler - 2017 - books.google.com
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 …

[PDF][PDF] The Description Logic Handbook: Theory, Implementation, and Applications

F Baader - Cambridge University Press google schola, 2003 - courses.cs.umbc.edu
Description Logics are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …

Data integration: A theoretical perspective

M Lenzerini - Proceedings of the twenty-first ACM SIGMOD-SIGACT …, 2002 - dl.acm.org
Data integration is the problem of combining data residing at different sources, and
providing the user with a unified view of these data. The problem of designing data …

The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata

M Doerr - AI magazine, 2003 - ojs.aaai.org
This article presents the methodology that has been successfully used over the past seven
years by an interdisciplinary team to create the International Committee for Documentation …

[图书][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

The DL-Lite family and relations

A Artale, D Calvanese, R Kontchakov… - Journal of artificial …, 2009 - jair.org
The recently introduced series of description logics under the common monikerDL-Lite'has
attracted attention of the description logic and semantic web communities due to the low …

Reasoning on UML class diagrams

D Berardi, D Calvanese, G De Giacomo - Artificial intelligence, 2005 - Elsevier
UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …

[图书][B] Data warehouse design: Modern principles and methodologies

M Golfarelli, S Rizzi - 2009 - dl.acm.org
Foreword by Mark Stephen LaRow, Vice President of Products, MicroStrategy" A unique and
authoritative book that blends recent research developments with industry-level practices for …