Extended RDF: computability and complexity issues
type: Item
instance of: scholarly article
title: Extended RDF: computability and complexity issues
zbMATH Open document ID: 1347.68316
author: Anastasia Analyti
author: Carlos Viegas Damásio
author: Grigoris Antoniou
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2016-01-28T00:00:00Z
full work available at URL: AMAI-2015.pdf
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6536927
zbMATH Keywords: extended RDF ontologies
zbMATH Keywords: semantic web
zbMATH Keywords: negation
zbMATH Keywords: rules
zbMATH Keywords: complexity
describes a project that uses: Smodels
describes a project that uses: N3Logic
describes a project that uses: swrl
describes a project that uses: TRIPLE
describes a project that uses: SPARQL
describes a project that uses: MWeb
describes a project that uses: HiLog
MaRDI profile type: Publication
OpenAlex ID: W1997904133
Wikidata QID: Q58198046
cites work: A framework for modular ERDF ontologies
cites work: MWeb
cites work: Q3624127
cites work: Efficiently Querying RDF(S) Ontologies with Answer Set Programming
cites work: HiLog: A foundation for higher-order logic programming
cites work: The undecidability of the domino problem
cites work: The well-founded semantics for general logic programs
cites work: N3Logic: A logical framework for the World Wide Web
cites work: Complexity results for answer set programming with bounded predicate arities and implications
cites work: Combining answer set programming with description logics for the semantic web
cites work: Q3112629
cites work: Stable models and circumscription
cites work: Conflict-driven answer set solving: from theory to practice
cites work: Conflict-Driven Answer Set Enumeration
cites work: Q3983043
cites work: Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
cites work: Cheap Boolean Role Constructors for Description Logics
cites work: The DLV system for knowledge representation and reasoning
cites work: Combining Horn rules and description logics in CARIN
cites work: Q4012230
cites work: Answer set programming and plan generation
cites work: Q3992908
cites work: Q4702577
cites work: Reconciling description logics and rules
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Q4298260
cites work: Q4739566
cites work: Q4131648
DBLP publication ID: journals/amai/AnalytiDA15
DOI: 10.1007/S10472-015-9451-0
description: scientific article; zbMATH DE number 6536927