Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Defining and exploring a grid system ontology
Proceedings of the 4th international workshop on Middleware for grid computing
Semantics-based grid resource management
Proceedings of the 5th international workshop on Middleware for grid computing: held at the ACM/IFIP/USENIX 8th International Middleware Conference
OntoDB2: support of multiple ontology models within ontology based database
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
Ontology-based artefact management in automotive electronics
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Developing ontology-driven conceptual data models
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Research summary: datalog-based data access
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for 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.