3776 search results - page 312 / 756 » Partition-Based Logical Reasoning |
135
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
130
click to vote
DLOG
2007
15 years 7 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
126
click to vote
DLOG
2007
15 years 7 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
125
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
119
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...