Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,418,346 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
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
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
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
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
2004
2004
Experiments in TREC 2004 Novelty Track at CAS-ICT
Huaping Zhang
,
Hongbo Xu
,
Shuo Bai
,
Bin Wang
,
Xueqi Cheng
Text Retrieval Conference
2004
Corpus ID: 18332551
The main task in Novelty Track is to retrieve relevant sentences and remove duplicates from a document set given a TREC topic…
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
2001
2001
The DLRUS Temporal Description Logic
A. Artale
,
Enrico Franconi
,
Milenko Mosurovic
,
F. Wolter
,
M. Zakharyaschev
Description Logics
2001
Corpus ID: 253010
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well…
Expand
1999
1999
Introducing temporal description logics
A. Artale
,
Enrico Franconi
Proceedings. Sixth International Workshop on…
1999
Corpus ID: 6091481
Description logics are formalisms designed for a logical reconstruction of representation tools such as frames, object oriented…
Expand