Stephan Tobies
From Tetherless World Wiki
| Stephan Tobies [ Edit ] | |
|---|---|
| Photo: | 
|
| Name: | Stephan Tobies |
| Occupation: | |
| Affiliation(s): | |
| Homepage(s): | |
| Email(s): | |
| Phone: | |
| Fax: | |
| Interests: | |
| Other tags: | |
| Alias: | |
| Please also add"{{alias}}" to your alias pages. | |
Publication
- Stephan Tobies. Complexity results and practical algorithms for logics in Knowledge Representation, In PhD Thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, , 2001 .
- Ian Horrocks, Stephan Tobies. Reasoning with Axioms: Theory and Practice, In KR, pp. 285-296, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CoRR, cs.LO/0005017, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CADE, pp. 482-496, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In CoRR, cs.LO/0005013, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to Decide Query Containment Under Constraints Using a Description Logic, In LPAR, pp. 326-343, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to decide Query Containment under Constraints using a Description Logic, In KRDB, pp. 59-72, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In Logic Journal of the IGPL, 8(3), 2000 (Download) .
- Ian Horrocks, Stephan Tobies. Optimisation of Terminological Reasoning, In Description Logics, pp. 183-192, 2000 (Download) .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In CoRR, cs.LO/0005014, 2000 (Download) .
- Ian Horrocks, Stephan Tobies. Reasoning with Axioms: Theory and Pratice, In CoRR, cs.LO/0005012, 2000 (Download) .
- Carsten Lutz, Ulrike Sattler, Stephan Tobies. A Suggestion for an n-ary Description Logic, In Description Logics, , 1999 .
- Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In LPAR, pp. 161-180, 1999 (Download) .
External Links
More information on Google, and DBLP
Facts about Stephan TobiesRDF feed
| Foaf:depiction | Anonymous.png + |
| Foaf:firstName | Stephan + |
| Foaf:name | Stephan Tobies + |
| Foaf:surname | Tobies + |
| Has identifier | Stephan Tobies + |
