Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,331,487 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.
Review
2010
Review
2010
Inductive learning for the Semantic Web: What does it buy?
Claudia d’Amato
,
N. Fanizzi
,
F. Esposito
Semantic Web
2010
Corpus ID: 15758298
Nowadays, building ontologies is a time consuming task since they are mainly manually built. This makes hard the full realization…
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
A new complicated-knowledge representation approach based on knowledge meshes
Hong-Sen Yan
IEEE Transactions on Knowledge and Data…
2006
Corpus ID: 14514132
This paper presents a new complicated-knowledge representation method for the self-reconfiguration of complex systems such as…
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
Highly Cited
2005
Highly Cited
2005
SMART - a semantic matchmaking portal for electronic markets
Sudhir Agarwal
,
S. Lamparter
IEEE Congress on Evolutionary Computation
2005
Corpus ID: 9870743
Searching and comparing products in electronic markets is still a challenging problem. On one hand, the expressive power of the…
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
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
1999
1999
Error diagnosis for language learning systems
W. Menzel
,
Ingo Schröder
ReCALL
1999
Corpus ID: 14860942
A diagnostic component for natural language utterances has been devised which allows one to integrate (possibly inconsistent…
Expand
Highly Cited
1997
Highly Cited
1997
Exposing the Skeleton in the Coordination Closet
J. Kramer
,
J. Magee
International Conference on Coordination Models…
1997
Corpus ID: 17313509
One of the ways in which we cope with large and complex systems is to abstract away some of the detail, considering them at an…
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