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… 
2008
2008
Clustering aggregation based on genetic algorithm for documents clustering
Clustering aggregation problem is a kind of formal description for clustering ensemble problem and technologies for the solving… 
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… 
2007
2007
Early detection of COTS component functional suitability
2005
2005
Ordering Heuristics for Description Logic Reasoning
We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical… 
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… 
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… 
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… 
1996
1996
On the complexity of entailment in propositional multivalued logics
Multivalued logics have a long tradition in the philosophy and logic literature that originates from the work by Łukaszewicz in… 
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)