50 search results - page 2 / 10 » Extensional and Intensional Strategies |
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
SEMWEB
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
ENTCS
2007
13 years 5 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...