2688 search results - page 158 / 538 » A formal semantics for P3P |
146
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
145
click to vote
IAT
2008
IEEE
16 years 29 days ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difļ¬...
167
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
This paper aims to bring the beneļ¬ts of the use of Category Theory to the ļ¬eld of Semantic Web, where the coexistence of intrinsically diļ¬erent models of local knowledge mak...
135
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...
181
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to deļ¬ne temporal constraints on the one h...