Fast ABox consistency checking using incomplete reasoning and caching

DOI:	https://doi.org/10.1007/978-3-319-61252-2_12
URL:	https://link.springer.com/chapter/10.1007/978-3-31...
Weitere URL:	http://publications.wim.uni-mannheim.de/informatik...
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2017
Buchtitel:	Rules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
Titel einer Zeitschrift oder einer Reihe:	Lecture Notes in Computer Science
Band/Volume:	10364
Seitenbereich:	168-183
Veranstaltungstitel:	International Joint Conference, RuleML+RR 2017
Veranstaltungsort:	London, UK
Veranstaltungsdatum:	12-15 July 2017
Herausgeber:	Costantini, Stefania
Ort der Veröffentlichung:	Berlin [u.a.]
Verlag:	Springer
ISBN:	978-3-319-61251-5 , 978-3-319-61252-2
ISSN:	0302-9743 , 1611-3349
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Web Data Mining (Juniorprofessur) (Paulheim 2013-2017) Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
Fachgebiet:	004 Informatik