MWeb

DOI10.1145/1877714.1877723zbMath1351.68272OpenAlexW2070983174WikidataQ58198079 ScholiaQ58198079MaRDI QIDQ2946635

Grigoris Antoniou, Anastasia Analyti, Carlos Viegas Damásio

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1877714.1877723

zbMATH Keywords

local closed-world and open-world assumptionslocal semanticsscoped negation-as-failuremodular web rule bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

A framework for modular ERDF ontologies ⋮ Extended RDF: computability and complexity issues

Uses Software

• XSB
• MWeb

This page was built for publication: MWeb