3891 search results - page 178 / 779 » A logic for strategic reasoning |
177
click to vote
WISE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
171
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
180
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
173
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
169
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...