Open AccessConjunctive Query Inseparability of OWL 2 QL TBoxes
Author(s) -
Boris Konev,
Roman Kontchakov,
Michel Ludwig,
Thomas Schneider,
Frank Wolter,
Michael Zakharyaschev
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7846
Subject(s) - web ontology language , computer science , exptime , conjunctive query , description logic , ontology , ontology language , owl s , datalog , equivalence (formal languages) , information retrieval , query language , pspace , semantic web , theoretical computer science , relational database , computational complexity theory , mathematics , algorithm , discrete mathematics , philosophy , epistemology , semantic web stack