A framework for modular ERDF ontologies
type: Item
instance of: scholarly article
title: A framework for modular ERDF ontologies
zbMATH Open document ID: 1271.68217
author: Anastasia Analyti
author: Grigoris Antoniou
author: Carlos Viegas Damásio
author: Ioannis Pachoulakis
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2013-08-26T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6201548
zbMATH Keywords: modular ERDF ontologies
zbMATH Keywords: local semantics
zbMATH Keywords: local closed-world and open-world assumptions
zbMATH Keywords: scoped negation-as-failure
describes a project that uses: Smodels
describes a project that uses: SPARQL
describes a project that uses: OpenRuleBench
describes a project that uses: XSB
describes a project that uses: MWeb
describes a project that uses: TRIPLE
describes a project that uses: N3Logic
MaRDI profile type: Publication
Wikidata QID: Q58198065
full work available at URL: s10472-013-9350-1
OpenAlex ID: W2029589804
cites work: Combining answer set programming with description logics for the semantic web
cites work: MWeb
cites work: Q3624127
cites work: Q4406531
cites work: Package-Based Description Logics
cites work: N3Logic: A logical framework for the World Wide Web
cites work: Journal on Data Semantics I
cites work: Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
cites work: Extended RDF: computability and complexity issues
cites work: Semantics and complexity of recursive aggregates in answer set programming
cites work: The well-founded semantics for general logic programs
cites work: Mapping Properties of Heterogeneous Ontologies
cites work: Q3616092
cites work: Logical foundations of object-oriented and frame-based languages
cites work: Ontology Integration Using ε-Connections
cites work: Modularity Aspects of Disjunctive Stable Models
cites work: Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: \({\mathcal E}\)-connections of abstract description systems
cites work: Q4415096
cites work: Making prolog more expressive
cites work: Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
cites work: Q4298260
cites work: Q4739566
cites work: Q4131648
DOI: 10.1007/S10472-013-9350-1
description: scientific article; zbMATH DE number 6201548