Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,086,107 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.
Highly Cited
2009
Highly Cited
2009
Ideal Downward Refinement in the EL Description Logic
Jens Lehmann
,
C. Haase
International Conference on Inductive Logic…
2009
Corpus ID: 14129416
With the proliferation of the Semantic Web, there has been a rapidly rising interest in description logics, which form the…
Expand
Highly Cited
2007
Highly Cited
2007
LILY: the Results for the Ontology Alignment Contest OAEI 2007
Peng Wang
,
Baowen Xu
Organizational Memories
2007
Corpus ID: 11149652
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what…
Expand
2007
2007
ModelingWeb Services using Semantic Graph Transformations to aid Automatic Composition
Zhen Liu
,
A. Ranganathan
,
A. Riabov
IEEE International Conference on Web Services…
2007
Corpus ID: 3740466
In this paper, we propose a novel way of modeling Web services using semantic graph transformations. Each operation supported by…
Expand
Highly Cited
2006
Highly Cited
2006
Automated Benchmarking of Description Logic Reasoners
Tom Gardiner
,
Ian Horrocks
,
Dmitry Tsarkov
Description Logics
2006
Corpus ID: 6437542
Reasoning for expressive DLs implemented in state-of-the-art systems has high worst case complexity. The hope/claim is, however…
Expand
2004
2004
A possible simplification of the semantic web architecture
B. C. Grau
The Web Conference
2004
Corpus ID: 7737723
In the semantic Web architecture, Web ontology languages arebuilt on top of RDF(S). However, serious difficulties have arisen…
Expand
Highly Cited
2002
Highly Cited
2002
OpenDLib: A Digital Library Service System
D. Castelli
,
P. Pagano
European Conference on Research and Advanced…
2002
Corpus ID: 14260225
OpenDLib is a software toolkit that can be used to create a digital library easily, according to the requirements of a given user…
Expand
Highly Cited
2002
Highly Cited
2002
The DIG Description Logic Interface : DIG / 1 . 0
S. Bechhofer
2002
Corpus ID: 16058478
This document describes a simple API for a general description logic system. This forms the first of a number of such…
Expand
Highly Cited
2000
Highly Cited
2000
Tableau Algorithms for Description Logics
F. Baader
International Conference on Theorem Proving with…
2000
Corpus ID: 10311577
Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via…
Expand
1999
1999
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
A. Frank
Conference On Spatial Information Theory
1999
Corpus ID: 8292911
A fundamental scientific question today is how to construct complex systems from simple parts. Science today seems mostly to…
Expand
Review
1996
Review
1996
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
J. Dix
Logic, Action, and Information
1996
Corpus ID: 35257845
44 played a dominant role in Przymusinski's versions of WFS and ST N. The results of Section 4 underline the very strong…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE