Description logic

Known as: SHOIN, DL, Concept assertion 
Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2017
020040019622017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALC… (More)
Is this relevant?
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… (More)
  • figure 1
  • table I
  • table III
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… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • Ian Horrocksa, Peter Patel-Schneiderb
  • 2004
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
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… (More)
  • table 1
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… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 2
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… (More)
  • table 2
  • table 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Knowledge representation languages invariably reflect a trade-off between expressivity and tractability. Evidence suggests that… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?