496 search results - page 42 / 100 » Practical Reasoning for Very Expressive Description Logics |
99
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
102
Voted
OWLED
2007
15 years 1 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
120
Voted
KI
2002
Springer
15 years 4 days ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
124
click to vote
DLOG
2010
14 years 10 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
94
Voted
DLOG
2007
15 years 2 months ago
2007
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...