A Comparison of Two Modelling Paradigms in the Semantic Web
Preprint
- 1 January 2007
- preprint
- Published by Elsevier BV in SSRN Electronic Journal
Abstract
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for conceptual modelling in the context of the Semantic Web. Although these two different formalism groups have some commonalities, and look similar in the context of expressively-impoverished languages like RDF, their differences become apparent at more expressive language levels. After considering some of these differences, we argue that, although some of the characteristics of Datalog have their utility, the open environment of the Semantic Web is better served by standard logics.Keywords
This publication has 20 references indexed in Scilit:
- Resource Description Framework (RDF) Schema (RDFS)Published by Springer Science and Business Media LLC ,2011
- Combining answer set programming with description logics for the Semantic WebArtificial Intelligence, 2008
- On the decidability and complexity of integrating ontologies and rulesJournal of Web Semantics, 2005
- A Tool for Working with Web OntologiesInternational Journal on Semantic Web and Information Systems, 2005
- Reducing OWL entailment to description logic satisfiabilityJournal of Web Semantics, 2004
- Description logics of minimal knowledge and negation as failureACM Transactions on Computational Logic, 2002
- The Semantic WebScientific American, 2001
- Disjunctive datalogACM Transactions on Database Systems, 1997
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- IJCAI-79, Sixth international joint conference on artificial intelligence : Tokyo, 20–24 August, 1979Artificial Intelligence, 1979