Boris Motik
Artificial Intelligence · 2002–2014
A researcher in the Science corpus: 11 papers; trusts 20 researchers and is trusted by 17 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 58 citations into it; #10,365 of 35,345 by trust here, #12,580 by citations
- Information Systems — 24 citations into it; #3,291 of 8,771 by trust here, #2,406 by citations
- Computer Networks and Communications — 22 citations into it; #4,976 of 9,886 by trust here, #3,426 by citations
- Computational Theory and Mathematics — 8 citations into it
Whom Boris Motik trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Ian Horrocks
- Stephan Tobies
- Franz Baader
- U. Sattler
- Volker Haarslev
- Evren Sirin
- Bernardo Cuenca Grau
- Peter F. Patel-Schneider
- Bijan Parsia
- Maurizio Lenzerini
Who trusts Boris Motik overall
- Birte Glimm
- Ian Horrocks
- Ernesto Jiménez-Ruiz
- Markus Krötzsch
- Jamal Atif
- Bernardo Cuenca Grau
- Natasha Noy
- Matthew Horridge
- Jérôme Euzenat
- Moritz Tenorth
Papers from Boris Motik's perspective
Ordered by how strongly the researchers Boris Motik trusts endorse each paper. Same corpus, a different order for every researcher.
- RACER System Description (International Joint Conference on Automated Reasoning)
- Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
- Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
- Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
- A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
- Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
- AL-log: Integrating Datalog and Description Logics (Journal of Intelligence and Information Systems)
- Query Answering for OWL-DL with Rules (International Workshop on the Semantic Web)
- The Even More Irresistible SROIQ (International Conference on Principles of Knowledge Representation and Reasoning)
Their papers
- Hypertableau Reasoning for Description Logics (2009) — 465 citations
- HermiT: An OWL 2 Reasoner (2014) — 727 citations
- OWL 2: The next step for OWL (2008) — 981 citations
- HermiT: A Highly-Efficient OWL Reasoner (2008) — 548 citations
- OWL 2 Web Ontology Language: structural specification and functional-style syntax (2008) — 997 citations
- Bridging the gap between OWL and relational databases (2007) — 301 citations
- Query Answering for OWL-DL with Rules (2004) — 792 citations
- Ontologies for Enterprise Knowledge Management (2003) — 326 citations
- User-Driven Ontology Evolution Management (2002) — 432 citations
- MAFRA - A MApping FRAmework for Distributed Ontologies (2002) — 458 citations
- KAON - Towards a Large Scale Semantic Web (2002) — 298 citations