@inproceedings{conf/dlog/KaminskiS09,
  added-at = {2009-09-01T00:00:00.000+0200},
  author = {Kaminski, Mark and Smolka, Gert},
  biburl = {http://www.bibsonomy.org/bibtex/205f7a2ca2610d7b3a82897187d36a2da/dblp},
  booktitle = {Description Logics},
  crossref = {conf/dlog/2009},
  editor = {Grau, Bernardo Cuenca and Horrocks, Ian and Motik, Boris and Sattler, Ulrike},
  ee = {http://ceur-ws.org/Vol-477/paper_41.pdf},
  interhash = {00379f8e3b651a0715f7989388ab441b},
  intrahash = {05f7a2ca2610d7b3a82897187d36a2da},
  keywords = {dblp},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  timestamp = {2016-05-31T12:56:25.000+0200},
  title = {Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.},
  url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#KaminskiS09},
  volume = 477,
  year = 2009
}

{"_id":"uERE6ZdqRqrLmasxs","bibbaseid":"kaminski-smolka-terminatingtableauxforsoqwithnumberrestrictionsontransitiveroles-2009","downloads":0,"creationDate":"2016-04-12T13:16:35.111Z","title":"Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.","author_short":["Kaminski, M.","Smolka, G."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2009-09-01T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Gert"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/205f7a2ca2610d7b3a82897187d36a2da/dblp","booktitle":"Description Logics","crossref":"conf/dlog/2009","editor":[{"propositions":[],"lastnames":["Grau"],"firstnames":["Bernardo","Cuenca"],"suffixes":[]},{"propositions":[],"lastnames":["Horrocks"],"firstnames":["Ian"],"suffixes":[]},{"propositions":[],"lastnames":["Motik"],"firstnames":["Boris"],"suffixes":[]},{"propositions":[],"lastnames":["Sattler"],"firstnames":["Ulrike"],"suffixes":[]}],"ee":"http://ceur-ws.org/Vol-477/paper_41.pdf","interhash":"00379f8e3b651a0715f7989388ab441b","intrahash":"05f7a2ca2610d7b3a82897187d36a2da","keywords":"dblp","publisher":"CEUR-WS.org","series":"CEUR Workshop Proceedings","timestamp":"2016-05-31T12:56:25.000+0200","title":"Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.","url":"http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#KaminskiS09","volume":"477","year":"2009","bibtex":"@inproceedings{conf/dlog/KaminskiS09,\n added-at = {2009-09-01T00:00:00.000+0200},\n author = {Kaminski, Mark and Smolka, Gert},\n biburl = {http://www.bibsonomy.org/bibtex/205f7a2ca2610d7b3a82897187d36a2da/dblp},\n booktitle = {Description Logics},\n crossref = {conf/dlog/2009},\n editor = {Grau, Bernardo Cuenca and Horrocks, Ian and Motik, Boris and Sattler, Ulrike},\n ee = {http://ceur-ws.org/Vol-477/paper_41.pdf},\n interhash = {00379f8e3b651a0715f7989388ab441b},\n intrahash = {05f7a2ca2610d7b3a82897187d36a2da},\n keywords = {dblp},\n publisher = {CEUR-WS.org},\n series = {CEUR Workshop Proceedings},\n timestamp = {2016-05-31T12:56:25.000+0200},\n title = {Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.},\n url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#KaminskiS09},\n volume = 477,\n year = 2009\n}\n\n","author_short":["Kaminski, M.","Smolka, G."],"editor_short":["Grau, B. C.","Horrocks, I.","Motik, B.","Sattler, U."],"key":"conf/dlog/KaminskiS09","id":"conf/dlog/KaminskiS09","bibbaseid":"kaminski-smolka-terminatingtableauxforsoqwithnumberrestrictionsontransitiveroles-2009","role":"author","urls":{"Link":"http://ceur-ws.org/Vol-477/paper_41.pdf","Paper":"http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#KaminskiS09"},"keyword":["dblp"],"downloads":0},"search_terms":["terminating","tableaux","soq","number","restrictions","transitive","roles","kaminski","smolka"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}