• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2020
• 
  Jakub Kuklis:
  Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles. Description Logics 2020
• 2019
• 
  Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak:
  On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. Description Logics 2019
• 2018
• 
  Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak:
  Finite Query Answering in Expressive Description Logics with Transitive Roles. KR 2018: 369-378
• 
  Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak:
  Finite Query Answering in Expressive Description Logics with Transitive Roles. CoRR abs/1808.03130 (2018)
• 2017
• 
  Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
  Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI 2017: 1121-1127
• 
  Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
  On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Description Logics 2017
• 2015
• 
  Franz Baader, Stefan Borgwardt, Marcel Lippmann:
  Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence 2015: 21-33
• 2013
• 
  Chan Le Duc, Myriam Lamolle, Olivier Curé:
  SHOIQ with Transitive Closure of Roles Is Decidable. Description Logics 2013: 735-746
• 2010
• 
  Chan Le Duc, Myriam Lamolle:
  Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. Description Logics 2010
• 2009
• 
  Mark Kaminski, Gert Smolka:
  Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Description Logics 2009
• 
  Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
  Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
• 2007
• 
  Rajeev Goré, Linh Anh Nguyen:
  EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. TABLEAUX 2007: 133-148
• 2006
• 
  Yu Ding, Volker Haarslev:
  Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics 2006
• 
  Birte Glimm, Ian Horrocks, Ulrike Sattler:
  Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
• 2003
• 
  Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters:
  Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. LPAR 2003: 122-136
• 2002
• 
  Franz Baader, Ralf Küsters:
  Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. Description Logics 2002
• 
  Alan L. Rector:
  Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies. Description Logics 2002
• 2001
• 
  Franz Baader, Ralf Küsters:
  Unification in a Description Logic with Transitive Closure of Roles. Description Logics 2001
• 1999
• 
  Sergio Tessaris, Graham Gough:
  ABox Reasoning with Transitive Roles and Axioms. Description Logics 1999
• 1998
• 
  Ian Horrocks, Ulrike Sattler:
  A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
• 1997
• 
  Ian Horrocks, Graham Gough:
  Description Logics with Transitive Roles. Description Logics 1997