Zum Inhalt springen

  2. Baader, Franz [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Lutz, Carsten [VerfasserIn]; Sattler, Ulrike [VerfasserIn]

    An introduction to description logic - [First published]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017

  3. Horrocks, Ian [Sonstige Person, Familie und Körperschaft]; Hendler, James [Sonstige Person, Familie und Körperschaft]

    The Semantic Web — ISWC 2002 : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 2342

  4. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]

    Decidability of SHIQ with Complex Role Inclusion Axioms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2002

    Erschienen in: LTCS-Report ; 02,6

  6. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]

    A Description Logic with Transitive and Converse Roles and Role Hierarchies

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 1998

    Erschienen in: LTCS-Report ; 98,5

  7. Horrocks, Ian [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    Optimisation of Terminological Reasoning

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,14

  8. Borgwardt, Stefan [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Horrocks, Ian [AkademischeR BetreuerIn]

    Fuzzy Description Logics with General Concept Inclusions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2014

  9. Rudolph, Sebastian [VerfasserIn] ; Gottlob, Georg [HerausgeberIn]; Horrocks, Ian [HerausgeberIn]; Harmelen, Frank [HerausgeberIn]

    Reasoning Web. Semantic Technologies for Intelligent Data Access : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8067

  10. Wandelt, Sebastian [VerfasserIn] ; Möller, Ralf [Sonstige Person, Familie und Körperschaft]; Horrocks, Ian [Sonstige Person, Familie und Körperschaft]; Ritter, Norbert [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Institute for Software Systems

    Efficient instance retrieval over semi-expressive ontologies

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2011

  11. Igne, Federico [VerfasserIn]; Germano, Stefano [VerfasserIn]; Horrocks, Ian [VerfasserIn]

    Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Semantic Web Conference (20. : 2021 : Online): ISWC-Posters-Demos-Industry 2021 - International Semantic Web Conference (ISWC) 2021: Posters, Demos, and Industry tracks ; 2021

  12. Igne, Federico [VerfasserIn]; Germano, Stefano [VerfasserIn]; Horrocks, Ian [VerfasserIn]

    RSAComb: Combined Approach for CQ Answering in RSA

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021

  13. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 1999

    Erschienen in: LTCS-Report ; 99,8

  14. Horrocks, Ian [VerfasserIn]; Sattler, Ulrike [VerfasserIn]; Tobies, Stephan [VerfasserIn]

    A PSPACE-algorithm for deciding ALCNIR+-satisfiability

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 1998

    Erschienen in: LTCS-Report ; 98,8

  15. Mailis, Theofilos [VerfasserIn] ; Kotidis, Yannis [Sonstige Person, Familie und Körperschaft]; Nikolopoulos, Vaggelis [Sonstige Person, Familie und Körperschaft]; Kharlamov, Evgeny [Sonstige Person, Familie und Körperschaft]; Horrocks, Ian [Sonstige Person, Familie und Körperschaft]; Ioannidis, Yannis [Sonstige Person, Familie und Körperschaft]

    An Efficient Index for RDF Query Containment

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: ACM SIGMOD, 2019

    Erschienen in: SIGMOD 2019 ; (Jan. 2019) -

  16. Hogan, Aidan [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Hotho, Andreas [VerfasserIn]; Kagal, Lalana [VerfasserIn] ; Aidan Hogan and Ian Horrocks and Andreas Hotho and Lalana Kagal [MitwirkendeR]

    Transactions on Graph Data and Knowledge

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  17. He, Yuan [VerfasserIn]; Chen, Jiaoyan [VerfasserIn]; Antonyrajah, Denvar [VerfasserIn]; Horrocks, Ian [VerfasserIn]

    Biomedical ontology alignment with BERT

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Workshop on Ontology Matching (16. : 2021 : Online): OM 2021: Ontology Matching 2021 ; (2021), Seite 1-12

  18. Germano, Stefano [VerfasserIn]; Saunders, Carla [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Lupton, Rick [VerfasserIn]

    Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Semantic Web Conference (20. : 2021 : Online): ISWC-Posters-Demos-Industry 2021 - International Semantic Web Conference (ISWC) 2021: Posters, Demos, and Industry tracks ; 2021

  19. Baader, Franz [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Lutz, Carsten [VerfasserIn]; Sattler, Uli [VerfasserIn]

    An introduction to description logic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge: Cambridge University Press, 2017

  20. Grosof, Benjamin [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Volz, Raphael [VerfasserIn]; Decker, Stefan [VerfasserIn]

    Description Logic Programs : Combining Logic Programs with Description Logic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, 2004