Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,905 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
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
2004
2004
Integrating real-time analysis in a component model for embedded systems
M. Díaz
,
Daniel Garrido
,
L. Llopis
,
F. Rus
,
J. M. Troya
Proceedings of the EUROMICRO Conference
2004
Corpus ID: 36079593
Component-based development is a key technology in the development of software for modern embedded systems. However, standard…
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
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
1981
1981
IDL, Interface Description Language
J. Nestor
,
W. Wulf
,
D. Lamb
1981
Corpus ID: 59743527
Structure Specification 17 The => form of production is used to associate sets of attributes widi node types. Each attribute is…
Expand