%0 Conference Paper %1 conf/tableaux/Horrocks05 %A Horrocks, Ian %B TABLEAUX %D 2005 %E Beckert, Bernhard %I Springer %K dblp %P 2-13 %T Description Logics in Ontology Applications. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#Horrocks05 %V 3702 %@ 3-540-28931-3

@inproceedings{conf/tableaux/Horrocks05, added-at = {2022-04-12T00:00:00.000+0200}, author = {Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2bf39c58315af73b3ad97a7ffa60b8569/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2005}, editor = {Beckert, Bernhard}, ee = {https://www.wikidata.org/entity/Q56988819}, interhash = {516c8eafe0a97211023ea1b143b2f539}, intrahash = {bf39c58315af73b3ad97a7ffa60b8569}, isbn = {3-540-28931-3}, keywords = {dblp}, pages = {2-13}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:42:00.000+0200}, title = {Description Logics in Ontology Applications.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#Horrocks05}, volume = 3702, year = 2005 }