Conjunctive Query Answering in CFD_nc: A PTIME Description Logic with Functional Constraints and Disjointness

TitleConjunctive Query Answering in CFD_nc: A PTIME Description Logic with Functional Constraints and Disjointness
Publication TypeConference Paper
Year of Publication2013
AuthorsToman, D., and G. Weddell
Conference NameAustralian Joint Conference on Artificial Intelligence (AUS-AI)
DOI10.1007/978-3-319-03680-9_36