Skip to search formSkip to main contentSkip to account menu

Description logic

Known as: SHOIN, DL, Description Logics 
Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AboxClosed-world assumptionDARPA Agent Markup LanguageDatalog

Broader (2)

Artificial intelligenceInformation science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
LILY: the Results for the Ontology Alignment Contest OAEI 2007
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what… 
2007
2007
ModelingWeb Services using Semantic Graph Transformations to aid Automatic Composition
In this paper, we propose a novel way of modeling Web services using semantic graph transformations. Each operation supported by… 
Highly Cited
2006
Highly Cited
2006
A new complicated-knowledge representation approach based on knowledge meshes
This paper presents a new complicated-knowledge representation method for the self-reconfiguration of complex systems such as… 
Highly Cited
2006
Highly Cited
2006
Automated Benchmarking of Description Logic Reasoners
Reasoning for expressive DLs implemented in state-of-the-art systems has high worst case complexity. The hope/claim is, however… 
Highly Cited
2005
Highly Cited
2005
SMART - a semantic matchmaking portal for electronic markets
Searching and comparing products in electronic markets is still a challenging problem. On one hand, the expressive power of the… 
2005
2005
Coreferential Relations In The Prague Dependency Treebank
The approach to corpus annotation of PDT is perform ed in several levels and steps. The annotation of c oreference relations is… 
2004
2004
A possible simplification of the semantic web architecture
In the semantic Web architecture, Web ontology languages arebuilt on top of RDF(S). However, serious difficulties have arisen… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
1999
1999
Error diagnosis for language learning systems
A diagnostic component for natural language utterances has been devised which allows one to integrate (possibly inconsistent… 
Highly Cited
1997
Highly Cited
1997
Exposing the Skeleton in the Coordination Closet
One of the ways in which we cope with large and complex systems is to abstract away some of the detail, considering them at an… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)