Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs

U Hustadt, B Motik, U Sattler

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proc.\ of the 9th Int.\ Conf.\ on the Principles of Knowledge Representation and Reasoning (KR-04)
Publisher	Morgan Kaufmann Publishers
Publication status	Published - 2004

Access to Document

@inproceedings{53d2936eb82b441c9d53f410d9886b0c,

title = "Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs",

author = "U Hustadt and B Motik and U Sattler",

year = "2004",

language = "English",

booktitle = "Proc.\ of the 9th Int.\ Conf.\ on the Principles of Knowledge Representation and Reasoning (KR-04)",

publisher = "Morgan Kaufmann Publishers",

address = "United States",

}