Sciweavers

1328 search results - page 131 / 266
» Common Knowledge
Sort
View
FLAIRS
2006
15 years 3 months ago
A Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
Christoph Beierle, Gabriele Kern-Isberner
FOIS
2006
15 years 3 months ago
Approximation of Ontologies in CASL
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
Klaus Lüttich
PARMA
2004
114views Database» more  PARMA 2004»
15 years 3 months ago
PatManQL: A Language to Manipulate Patterns and Data in Hierarchical Catalogs
Hierarchical structures and catalogs is a way to organize and enrich semantically the available information in the Web. From simple tree-like structures with syntactic constraints ...
Panagiotis Bouros, Theodore Dalamagas, Timos K. Se...
JISBD
2003
15 years 3 months ago
A Conceptual Modelling Pattern for Roles
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
Ruth Raventós, Jordi Cabot
PSSS
2003
15 years 3 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin