Stephan Tobies

1. Complexity Results and Practical Algorithms for Logics in Knowledge Representation
   2001/06/13 by Stephan Tobies, Tobies, Stephan · 8 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies #cs.AI #cs.LO
2. Reasoning with Individuals for the Description Logic SHIQ
   2000/05/11 by Ian Horrock, Ulrike Sattler, Horrock, Ian +3 · 3 citations
   Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
3. Practical Reasoning for Very Expressive Description Logics
   2000/05/09 by Ian Horrocks, Ulrike Sattler, Stephan Tobies · 1 citation
   Computer Science · #cs.LO #cs.AI