Fast ABox consistency checking using incomplete reasoning and caching

Meilicke, Christian ; Ruffinelli, Daniel ; Nolle, Andreas ; Paulheim, Heiko ; Stuckenschmidt, Heiner

Additional URL:
Document Type: Conference or workshop publication
Year of publication: 2017
Book title: Rules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
The title of a journal, publication series: Lecture Notes in Computer Science
Volume: 10364
Page range: 168-183
Conference title: International Joint Conference, RuleML+RR 2017
Location of the conference venue: London, UK
Date of the conference: 12-15 July 2017
Publisher: Costantini, Stefania
Place of publication: Berlin [u.a.]
Publishing house: Springer
ISBN: 978-3-319-61251-5 , 978-3-319-61252-2
ISSN: 0302-9743 , 1611-3349
Publication language: English
Institution: School of Business Informatics and Mathematics > Web Data Mining (Juniorprofessur) (Paulheim 2013-2017)
School of Business Informatics and Mathematics > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
Subject: 004 Computer science, internet

Dieser Eintrag ist Teil der Universitätsbibliographie.

Metadata export


+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item