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.
2014
2014
Semantic interoperability of knowledge in feature-based CAD models
Review
2010
Review
2010
Inductive learning for the Semantic Web: What does it buy?
Nowadays, building ontologies is a time consuming task since they are mainly manually built. This makes hard the full realization… 
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
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… 
2003
2003
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with… 
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… 
Highly Cited
1970
Highly Cited
1970
Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method
A syntax-directed picture analysis system based on a formal picture description scheme is described. The system accepts a… 
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)