82 search results - page 6 / 17 » Datalog and Description Logics: Expressive Power |
85
Voted
LATIN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
95
Voted
IJCAI
2001
15 years 9 days ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
85
Voted
WWW
2008
ACM
15 years 11 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
105
Voted
IAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
DLOG
2007
15 years 1 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...