5284 search results - page 726 / 1057 » Ontologizing Semantic Relations |
203
click to vote
BIS
2007
15 years 8 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
157
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
239
click to vote
DEXA
2007
Springer
16 years 27 days ago
2007
Springer
Since a big part of web content is stored in relational databases (RDB) there are several approaches for generating of semantic web metadata from RDB. In our previous work we desig...
156
click to vote
TYPES
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
173
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...