Oliver Kutz
International Conference on Principles of Knowledge Representation and Reasoning · 2006
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Oliver Kutz trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Oliver Kutz overall
- Fabian M. Suchanek
- Ian Horrocks
- Boris Motik
- Gjergji Kasneci
- Gerhard Weikum
- Birte Glimm
- Bernardo Cuenca Grau
Papers from Oliver Kutz's perspective
Ordered by how strongly the researchers Oliver Kutz trusts endorse each paper. Same corpus, a different order for every researcher.
- Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
- A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
- Reasoning with Individuals for the Description Logic SHIQ (CADE)
- Introduction to Automata Theory, Languages and Computation
- From SHIQ and RDF to OWL: the making of a Web Ontology Language (Journal of Web Semantics)
- RACER System Description (International Joint Conference on Automated Reasoning)
- Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
- OIL: An Ontology Infrastructure for the Semantic Web (IEEE Intelligent Systems)
- Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
Their papers
- The Even More Irresistible SROIQ (2006) — 1,095 citations