Reasoning Web: Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
Year of Publication 2017
Get full text
Year of Publication 2017
eBook
The Semantic Web - ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
Patel-Schneider, Peter F, Pan, Yue, Hitzler, Pascal, Mika, Peter, Zhang, Lei, Pan, Jeff Z, Horrocks, Ian, Glimm, Birte
Year of Publication 2011
Get full text
Year of Publication 2011
eBook
HermiT: An OWL 2 Reasoner
Glimm, Birte, Horrocks, Ian, Motik, Boris, Stoilos, Giorgos, Wang, Zhe
Published in Journal of automated reasoning (01.10.2014)
Published in Journal of automated reasoning (01.10.2014)
Get full text
Journal Article
Classical Algorithms for Reasoning and Explanation in Description Logics
Glimm, Birte, Kazakov, Yevgeny
Published in Reasoning Web. Explainable Artificial Intelligence (01.01.2019)
Published in Reasoning Web. Explainable Artificial Intelligence (01.01.2019)
Get full text
Book Chapter
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Steigmiller, Andreas, Glimm, Birte
Published in The Journal of artificial intelligence research (01.01.2015)
Published in The Journal of artificial intelligence research (01.01.2015)
Get full text
Journal Article
A novel approach to ontology classification
Glimm, Birte, Horrocks, Ian, Motik, Boris, Shearer, Rob, Stoilos, Giorgos
Published in Web semantics (01.07.2012)
Published in Web semantics (01.07.2012)
Get full text
Journal Article
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
Behnke, Gregor, Schiller, Marvin, Kraus, Matthias, Bercher, Pascal, Schmautz, Mario, Dorna, Michael, Dambier, Michael, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in Ai communications (01.01.2019)
Published in Ai communications (01.01.2019)
Get full text
Journal Article
Reasoning with Nominal Schemas through Absorption
Steigmiller, Andreas, Glimm, Birte, Liebig, Thorsten
Published in Journal of automated reasoning (01.12.2014)
Published in Journal of automated reasoning (01.12.2014)
Get full text
Journal Article
Conjunctive Query Answering for the Description Logic SHIQ
Glimm, B., Lutz, C., Horrocks, I., Sattler, U.
Published in The Journal of artificial intelligence research (01.01.2008)
Published in The Journal of artificial intelligence research (01.01.2008)
Get full text
Journal Article