Foundations of logic programming
Foundations of logic programming
Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A logic for programming database transactions
Logics for databases and information systems
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
AI for the Web - Ontology-Based Community Web Portals
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information
DS-8 Proceedings of the IFIP TC2/WG2.6 Eighth Working Conference on Database Semantics- Semantic Issues in Multimedia Systems
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
Knowledge-Based Integration of Neuroscience Data Sources
SSDBM '00 Proceedings of the 12th International Conference on Scientific and Statistical Database Management
Foundations of semantic web databases
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
Intensional semantics for RDF data structures
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Foundations of Semantic Web databases
Journal of Computer and System Sciences
Reasoning with temporal constraints in RDF
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Triadic relations: an algebra for the semantic web
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Hi-index | 0.00 |
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing semantic information on the Web. Ironically, when RDF was standardized by W3C over three years ago [18], it came without a semantics. There is now growing understanding that a Semantic Web language without a semantics is an oxymoron, and a number of efforts are directed towards giving RDF a precise semantics [12,10]. In this paper we propose a simple semantics for reification and anonymous resources in F-logic [17] -- a frame-based logic language, which is a popular formalism for representing and reasoning about semantic information on the Web [22,9,11,8,7].The choice of F-logic (over RDF) as a basis for our semantics is motivated by the fact that F-logic provides a comprehensive solution for the problem of integrating frames, rules, and deduction, and it has been shown to provide an effective inference service for RDF [8,21].