245 search results - page 31 / 49 » Class Algebra as a Description Logic |
104
Voted
CORR
1999
Springer
15 years 4 days ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
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...
124
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
117
click to vote
DM
2007
15 years 13 days ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...
128
click to vote
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...