%0 Conference Paper %1 conf/ruleml/MeilickeRNPS17 %A Meilicke, Christian %A Ruffinelli, Daniel %A Nolle, Andreas %A Paulheim, Heiko %A Stuckenschmidt, Heiner %B RuleML+RR %D 2017 %E Costantini, Stefania %E Franconi, Enrico %E Woensel, William Van %E Kontchakov, Roman %E Sadri, Fariba %E Roman, Dumitru %I Springer %K dblp %P 168-183 %T Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. %U http://dblp.uni-trier.de/db/conf/ruleml/ruleml2017.html#MeilickeRNPS17 %V 10364 %@ 978-3-319-61252-2

@inproceedings{conf/ruleml/MeilickeRNPS17, added-at = {2022-06-23T00:00:00.000+0200}, author = {Meilicke, Christian and Ruffinelli, Daniel and Nolle, Andreas and Paulheim, Heiko and Stuckenschmidt, Heiner}, biburl = {https://www.bibsonomy.org/bibtex/29a3d425fbf7c986d2238f161b2092596/dblp}, booktitle = {RuleML+RR}, crossref = {conf/ruleml/2017}, editor = {Costantini, Stefania and Franconi, Enrico and Woensel, William Van and Kontchakov, Roman and Sadri, Fariba and Roman, Dumitru}, ee = {https://doi.org/10.1007/978-3-319-61252-2_12}, interhash = {98eaee0d3971a40afbb9602346eef46f}, intrahash = {9a3d425fbf7c986d2238f161b2092596}, isbn = {978-3-319-61252-2}, keywords = {dblp}, pages = {168-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:27:33.000+0200}, title = {Fast ABox Consistency Checking Using Incomplete Reasoning and Caching.}, url = {http://dblp.uni-trier.de/db/conf/ruleml/ruleml2017.html#MeilickeRNPS17}, volume = 10364, year = 2017 }