A framework for modular ERDF ontologies

DOI10.1007/S10472-013-9350-1zbMATH Open1271.68217OpenAlexW2029589804WikidataQ58198065 ScholiaQ58198065MaRDI QIDQ360258FDOQ360258

Grigoris Antoniou, Carlos Viegas Damásio, Anastasia Analyti, Ioannis Pachoulakis

Publication date: 26 August 2013

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-013-9350-1

zbMATH Keywords

local closed-world and open-world assumptionslocal semanticsmodular ERDF ontologiesscoped negation-as-failure

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• N3Logic: A logical framework for the World Wide Web
• Combining answer set programming with description logics for the semantic web
• Modularity Aspects of Disjunctive Stable Models
• The well-founded semantics for general logic programs
• Semantics and complexity of recursive aggregates in answer set programming
• Making prolog more expressive
• Journal on Data Semantics I
• \({\mathcal E}\)-connections of abstract description systems
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• MWeb
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
• Mapping Properties of Heterogeneous Ontologies
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• A framework for modular ERDF ontologies
• Ontology Integration Using ε-Connections
• Package-Based Description Logics
• Logical foundations of object-oriented and frame-based languages
• Logic Programming and Nonmonotonic Reasoning
• Extended RDF: computability and complexity issues

Cited In (3)

• Why-provenance information for RDF, rules, and negation
• A framework for modular ERDF ontologies
• Extended RDF: computability and complexity issues

Uses Software

• N3Logic
• TRIPLE
• Smodels
• SPARQL
• OpenRuleBench
• XSB
• MWeb

This page was built for publication: A framework for modular ERDF ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360258)