Description logics
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 …
logic-based knowledge representation languages that can be used to represent the …
An overview of tableau algorithms for description logics
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 …
descended from semantic networks and frames via the system Kl-one. During the last …
[图书][B] Introduction to description logic
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 …
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 …
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 …
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 …
years by an interdisciplinary team to create the International Committee for Documentation …
[图书][B] Handbook of knowledge representation
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 …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
The DL-Lite family and relations
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 …
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 …
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 …
authoritative book that blends recent research developments with industry-level practices for …