A framework for modular ERDF ontologies

DOI10.1007/S10472-013-9350-1MaRDI QIDQ360258zbMATH OpenOpenAlexWikidataFDO

Authors Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, 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)

Recommendations

• MWeb: a principled framework for modular web rule bases and its semantics
• Extended RDF: computability and complexity issues
• Extended RDF as a semantic foundation of rule markup languages
• Modular reuse of ontologies: theory and practice
• Towards a functional approach to modular ontologies using institutions

Cites work

• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• scientific article; zbMATH DE number 2088362 (Why is no real title available?)
• A framework for modular ERDF ontologies
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Combining answer set programming with description logics for the semantic web
• Complexity of reasoning with expressive ontology mappings
• Extended RDF as a semantic foundation of rule markup languages
• Extended RDF: computability and complexity issues
• Journal on Data Semantics I
• Logic Programming and Nonmonotonic Reasoning
• Logical foundations of object-oriented and frame-based languages
• MWeb: a principled framework for modular web rule bases and its semantics
• Making prolog more expressive
• Mapping Properties of Heterogeneous Ontologies
• Modularity aspects of disjunctive stable models
• N3Logic: A logical framework for the World Wide Web
• Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
• Ontology Integration Using ε-Connections
• Package-Based Description Logics
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• Semantics and complexity of recursive aggregates in answer set programming
• The well-founded semantics for general logic programs
• \({\mathcal E}\)-connections of abstract description systems

Cited in

(5)

• MWeb: a principled framework for modular web rule bases and its semantics
• Extended RDF: computability and complexity issues
• Why-provenance information for RDF, rules, and negation
• A framework for modular ERDF ontologies
• Extended RDF as a semantic foundation of rule markup languages

Describes a project that uses

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)