1486 search results - page 179 / 298 » A Logically Saturated Extension of |
166
click to vote
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
169
click to vote
TABLEAUX
2007
Springer
16 years 7 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
151
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
149
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
126
click to vote
DEXA
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for r...