Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,795 papers from all fields of science
Search
Sign In
Create Free Account
Description logic
Known as:
SHOIN
, DL
, Description Logics
Expand
Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Abox
Closed-world assumption
DARPA Agent Markup Language
Datalog
Expand
Broader (2)
Artificial intelligence
Information science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Extending OWL with Integrity Constraints
Jiao Tao
,
E. Sirin
,
J. Bao
,
Deborah L. McGuinness
Description Logics
2010
Corpus ID: 9621977
Since m1 and m2 are not explicitly defined to be different from each other, they will be inferred to be same due to the…
Expand
2010
2010
Semantic diff as the basis for knowledge base versioning
Enrico Franconi
,
T. Meyer
,
I. Varzinczak
2010
Corpus ID: 16407877
13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada
2009
2009
Tableau-Based Reasoning
Ralf Möller
,
V. Haarslev
Handbook on Ontologies
2009
Corpus ID: 16459351
Tableau-based methods for satisfiability checking build the backbone of major contemporary ontology reasoning sytems. The main…
Expand
Review
2005
Review
2005
Description Logic Inference Technology: Lessions Learned in the Trenches
V. Haarslev
,
Ralf Möller
,
Michael Wessel
Description Logics
2005
Corpus ID: 17946568
Optimized description logic systems are now available for quite a long time. Whereas initially, to a large extent only T-box…
Expand
2003
2003
Feature Extraction Languages for Propositionalized Relational Learning
C. Roth
2003
Corpus ID: 14179970
We study representations and relational learning over structured domains within a propositionalization framework that decouples…
Expand
2002
2002
Building XML Web Services for the Microsoft .Net Platform
S. Short
2002
Corpus ID: 61101971
From the Publisher: Discover how to revolutionize the online exchange of business information with this in-depth developer's…
Expand
2001
2001
Towards a Pedagogically Sound Basis for Learning Object Portability and Re-Use.
T. Boyle
,
J. Cook
2001
Corpus ID: 12927268
The issues of portability and re-use are key challenges for learning technology. A major effort has been directed towards the…
Expand
1997
1997
Defined Topological Relations in Description Logics
C. Lutz
,
Ralf Möller
Description Logics
1997
Corpus ID: 2098917
In this paper we extend the language ALC(D) by a new operator which allows one to deene roles on behalf of properties of objects…
Expand
1997
1997
Formal Models of Process Components
P. Henderson
1997
Corpus ID: 15312351
The way we have come to expect computer systems to behave is that we can simply add a new component to a running system and then…
Expand
1990
1990
Compositionality, implicational logics, and theories of grammar
G. Morrill
,
Bob Carpenter
1990
Corpus ID: 62194920