3597 search results - page 628 / 720 » Model-theoretic semantics for the web |
KCAP
2003
ACM
14 years 3 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
ERCIMDL
2003
Springer
14 years 3 months ago
2003
Springer
SozioNet 1 forms part of a forthcoming national social science information portal, which is currently being developed by the German Infoconnex2 initiative. Inspired by successful e...
AISC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
SEMWEB
2001
Springer
14 years 2 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...