[BibTeX] [RIS]
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
Type of publication: Inproceedings
Citation: DBLP:conf/ijcai/LutzPW11
Booktitle: IJCAI
Year: 2011
Pages: 983-988
Crossref: DBLP:conf/ijcai/2011:
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, Walsh, Toby (ed), IJCAI/AAAI, 2011
Userfields: pdfurl={http://www.informatik.uni-bremen.de/~clu/papers/archive/ijcai11b.pdf}, project={I1-OntoSpace}, status={Reviewed},
Keywords:
Authors Lutz, Carsten
Piro, Robert
Wolter, Frank
Attachments
  • http://www.informatik.uni-brem...
Notes
    Topics