Sciweavers

265 search results - page 3 / 53
» Logical Queries over Views: Decidability and Expressiveness
Sort
View
DLOG
2007
15 years 12 days ago
Expressive Querying over Fuzzy DL-Lite Ontologies
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...
Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, E...
SEMWEB
2009
Springer
15 years 4 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
IJCAI
2007
14 years 11 months ago
Conjunctive Query Answering for the Description Logic SHIQ
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sa...
AAAI
2000
14 years 11 months ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
ECAI
1998
Springer
15 years 1 months ago
Description Logics with Concrete Domains and Aggregation
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
Franz Baader, Ulrike Sattler