%0 Conference Paper %1 conf/dlog/BaaderBhHMNNP91 %A Baader, Franz %A Bürckert, Hans-Jürgen %A Heinsohn, Jochen %A Hollunder, Bernhard %A Müller, Jürgen %A Nebel, Bernhard %A Nutt, Werner %A Profitlich, Hans-Jürgen %B Description Logics %D 1991 %E Nebel, Bernhard %E von Luck, Kai %E Peltason, Christof %K dblp %P 120-128 %T Terminological Knowledge Representation: A Proposal for a Terminological Logic. %U http://dblp.uni-trier.de/db/conf/dlog/dlog91.html#BaaderBhHMNNP91 %V DFKI-D-91-13

@inproceedings{conf/dlog/BaaderBhHMNNP91, added-at = {2019-07-31T00:00:00.000+0200}, author = {Baader, Franz and Bürckert, Hans-Jürgen and Heinsohn, Jochen and Hollunder, Bernhard and Müller, Jürgen and Nebel, Bernhard and Nutt, Werner and Profitlich, Hans-Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2df69ac5a31552c55e48d74eb644e8979/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/1991}, editor = {Nebel, Bernhard and von Luck, Kai and Peltason, Christof}, interhash = {ca0eeaa6819fb455649dc0303b4c9f09}, intrahash = {df69ac5a31552c55e48d74eb644e8979}, keywords = {dblp}, pages = {120-128}, series = {DFKI Documents}, timestamp = {2019-08-01T11:40:33.000+0200}, title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog91.html#BaaderBhHMNNP91}, volume = {DFKI-D-91-13}, year = 1991 }