Open AccessFinite Entailment of Local Queries in the Z Family of Description Logics
Author(s) -
Bartosz Bednarczyk,
Emanuel Kieroński
Publication year - 2022
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.v36i5.20487
Subject(s) - logical consequence , description logic , decidability , satisfiability , theoretical computer science , computer science , semantics (computer science) , mathematics , fragment (logic) , discrete mathematics , algorithm , artificial intelligence , programming language