[BibTeX] [RIS]
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Type of publication: Inproceedings
Citation: DBLP:conf/ijcai/LutzW11
Booktitle: IJCAI
Year: 2011
Pages: 989-995
Crossref: DBLP:conf/ijcai/2011:
Userfields: pdfurl={http://www.informatik.uni-bremen.de/~clu/papers/archive/ijcai11a.pdf}, project={I1-OntoSpace}, status={Reviewed},
Keywords:
Authors Lutz, Carsten
Wolter, Frank
Attachments
  • http://www.informatik.uni-brem...
Notes
    Topics