Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
In this paper we present fuzzyDL, an expressive fuzzy description logic reasoner.We present its salient features, including some… Expand
  • figure 1
  • table I
  • table III
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We propose a new family of description logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages… Expand
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We propose a new Description Logic, called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of logic programming under the… Expand
  • table II
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about… Expand
  • table 2
  • table 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Description Logics (DLs) axe a family of knowledge representation formetlisms mainly chauracterised by constructors to build… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?