Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Boris Motik
Map detail
Boris Motik11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBoris MotikABoris MotikResearcherHypertableau Reasoning for Description LogicsWHypertableau Reasoning ...preprint / 2014Handling owl:sameAs via RewritingWHandling owl:sameAs via...preprint / 2014Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with EqualityWCombining Rewriting and...preprint / 2015Introducing Nominals to the Combined Query Answering Approaches for ELWIntroducing Nominals to...preprint / 2013Computing Datalog Rewritings beyond Horn OntologiesWComputing Datalog Rewri...preprint / 2013Completeness Guarantees for Incomplete Ontology Reasoners: Theory and PracticeWCompleteness Guarantees...preprint / 2014Reasoning over Ontologies with Hidden Content: The Import-by-Query ApproachWReasoning over Ontologi...preprint / 2014Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive RolesWAnswering Conjunctive Q...preprint / 2015Extending Consequence-Based Reasoning to SRIQWExtending Consequence-B...preprint / 2016Acyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesWAcyclicity Notions for ...preprint / 2014
Person10 links

Boris Motik

Researcher