@inproceedings{conf/kr/GarciaLS14,
  added-at = {2020-11-12T00:00:00.000+0100},
  author = {Ibáñez-García, Yazmín Angélica and Lutz, Carsten and Schneider, Thomas},
  biburl = {https://www.bibsonomy.org/bibtex/2009876f0548d4189801e703d23e80bad/dblp},
  booktitle = {KR},
  crossref = {conf/kr/2014},
  editor = {Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas},
  ee = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7927},
  interhash = {3674a3a40b6578c24accfc105beb1691},
  intrahash = {009876f0548d4189801e703d23e80bad},
  isbn = {978-1-57735-657-8},
  keywords = {dblp},
  publisher = {AAAI Press},
  timestamp = {2020-11-13T11:38:09.000+0100},
  title = {Finite Model Reasoning in Horn Description Logics.},
  url = {http://dblp.uni-trier.de/db/conf/kr/kr2014.html#GarciaLS14},
  year = 2014
}

{"_id":"KTCwR53isHKj3KCEe","bibbaseid":"ibezgarca-lutz-schneider-finitemodelreasoninginhorndescriptionlogics-2014","downloads":0,"creationDate":"2018-08-03T15:45:45.178Z","title":"Finite Model Reasoning in Horn Description Logics.","author_short":["Ibáñez-García, Y. A.","Lutz, C.","Schneider, T."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-11-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Ibáñez-García"],"firstnames":["Yazmín","Angélica"],"suffixes":[]},{"propositions":[],"lastnames":["Lutz"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Thomas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2009876f0548d4189801e703d23e80bad/dblp","booktitle":"KR","crossref":"conf/kr/2014","editor":[{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Giacomo"],"firstnames":["Giuseppe","De"],"suffixes":[]},{"propositions":[],"lastnames":["Eiter"],"firstnames":["Thomas"],"suffixes":[]}],"ee":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7927","interhash":"3674a3a40b6578c24accfc105beb1691","intrahash":"009876f0548d4189801e703d23e80bad","isbn":"978-1-57735-657-8","keywords":"dblp","publisher":"AAAI Press","timestamp":"2020-11-13T11:38:09.000+0100","title":"Finite Model Reasoning in Horn Description Logics.","url":"http://dblp.uni-trier.de/db/conf/kr/kr2014.html#GarciaLS14","year":"2014","bibtex":"@inproceedings{conf/kr/GarciaLS14,\n added-at = {2020-11-12T00:00:00.000+0100},\n author = {Ibáñez-García, Yazmín Angélica and Lutz, Carsten and Schneider, Thomas},\n biburl = {https://www.bibsonomy.org/bibtex/2009876f0548d4189801e703d23e80bad/dblp},\n booktitle = {KR},\n crossref = {conf/kr/2014},\n editor = {Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas},\n ee = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7927},\n interhash = {3674a3a40b6578c24accfc105beb1691},\n intrahash = {009876f0548d4189801e703d23e80bad},\n isbn = {978-1-57735-657-8},\n keywords = {dblp},\n publisher = {AAAI Press},\n timestamp = {2020-11-13T11:38:09.000+0100},\n title = {Finite Model Reasoning in Horn Description Logics.},\n url = {http://dblp.uni-trier.de/db/conf/kr/kr2014.html#GarciaLS14},\n year = 2014\n}\n\n","author_short":["Ibáñez-García, Y. A.","Lutz, C.","Schneider, T."],"editor_short":["Baral, C.","Giacomo, G. D.","Eiter, T."],"key":"conf/kr/GarciaLS14","id":"conf/kr/GarciaLS14","bibbaseid":"ibezgarca-lutz-schneider-finitemodelreasoninginhorndescriptionlogics-2014","role":"author","urls":{"Link":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7927","Paper":"http://dblp.uni-trier.de/db/conf/kr/kr2014.html#GarciaLS14"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"search_terms":["finite","model","reasoning","horn","description","logics","ibáñez-garcía","lutz","schneider"],"keywords":["dblp"],"authorIDs":[],"dataSources":["hFysW8E5JHW8bNdoX","i8SRmtQi2JMEkzH9M"]}