Open AccessEquality-Friendly Well-Founded Semantics and Applications to Description Logics
Author(s) -
Georg Gottlob,
André Hernich,
Clemens Kupke,
Thomas Lukasiewicz
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v26i1.8227
Subject(s) - datalog , negation , decidability , computer science , conjunctive query , semantics (computer science) , programming language , description logic , stable model semantics , generalization , theoretical computer science , ontology , operational semantics , mathematics , database , relational database , mathematical analysis , philosophy , epistemology