An introduction to description logics

Authors:
Daniele Nardi;Ronald J. Brachman
Affiliations:
Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, 00198 Roma, Italy;Corporation for National Research Initiatives
Venue:
The description logic handbook
Year:
2003

Citing 0
Cited 39

A possible simplification of the semantic web architecture

Proceedings of the 13th international conference on World Wide Web
Verifying DAML+OIL and Beyond in Z/EVES

Proceedings of the 26th International Conference on Software Engineering
Modeling a description logic vocabulary for cancer research

Journal of Biomedical Informatics
Context for Ubiquitous Data Management

UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
Ontology-based coalition formation in heterogeneous MRS

PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Ownership as a conceptual modeling construct

Data & Knowledge Engineering
Extended abstract: towards verifying semistructured data

APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
From metadata application profiles to semantic profiling: ontology refinement and profiling to strengthen inference-based queries on the semantic web

International Journal of Metadata, Semantics and Ontologies
A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system

Applied Ontology - Formal Ontologies for Communicating Agents
Automated comparative auditing of NCIT genomic roles using NCBI

Journal of Biomedical Informatics
Dynamic test generation over ontology-based knowledge representation in authoring shell

Expert Systems with Applications: An International Journal
Structural group-based auditing of missing hierarchical relationships in UMLS

Journal of Biomedical Informatics
The Advent of Formal Diagrammatic Reasoning Systems

ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Agent-Based Environment for Knowledge Integration

ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Description Logics, Data Modelling and Relational Dependencies

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Matching in hybrid terminologies

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Review:

The Knowledge Engineering Review
Editorial: Revising the constraints of lightweight mediated schemas

Data & Knowledge Engineering
VMQL: A visual language for ad-hoc model querying

Journal of Visual Languages and Computing
Semantically enriched event based model for web usage mining

WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Subsumption in w.r.t. hybrid TBoxes

KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Verifying OWL and ORL ontologies in PVS

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Improving text mining with controlled natural language: a case study for protein interactions

DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Auditing complex concepts of SNOMED using a refined hierarchical abstraction network

Journal of Biomedical Informatics
OWL-Full reasoning from an object oriented perspective

ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Reasoning about ORA-SS data models using the semantic web

Journal on Data Semantics VII
Research into verifying semistructured data

ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
Cooperative situation assessment in a maritime scenario

International Journal of Intelligent Systems
Agent-based ontology alignment: basics, applications, theoretical foundations, and demonstration

Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
An ontology for enterprise and information systems modelling

Applied Ontology
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system

Applied Ontology - Formal Ontologies for Communicating Agents
An ontology for enterprise and information systems modelling

Applied Ontology
CONFab: component based optimization of WSN protocol stacks using deployment feedback

Proceedings of the 10th ACM international symposium on Mobility management and wireless access
On the definition and design-time analysis of process performance indicators

Information Systems
Concept maps as the first step in an ontology construction method

Information Systems
Design and implementation of P2P reasoning system based on description logic

International Journal of Ad Hoc and Ubiquitous Computing
Semantic query answering in digital repositories: Semantic Search v2 for DSpace

International Journal of Metadata, Semantics and Ontologies
Introductions to description logics: a guided tour

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access

Quantified Score

Hi-index	0.00

Visualization

Abstract

This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it introduces syntax and semantics, covering ...