BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Ian Horrocks
SearchCollections
Map detail
Ian Horrocks13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIan HorrocksAIan HorrocksResearcherConjunctive Query Answering for the Description Logic SHIQWConjunctive Query Answe...preprint / 2011Acyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesWAcyclicity Notions for ...preprint / 2014Correcting Knowledge Base AssertionsWCorrecting Knowledge Ba...preprint / 2020Introducing Nominals to the Combined Query Answering Approaches for ELWIntroducing Nominals to...preprint / 2013A Description Logic PrimerWA Description Logic Primerpreprint / 2013Hypertableau Reasoning for Description LogicsWHypertableau Reasoning ...preprint / 2014BERTMap: A BERT-based Ontology Alignment SystemWBERTMap: A BERT-based O...preprint / 2022Computing Datalog Rewritings beyond Horn OntologiesWComputing Datalog Rewri...preprint / 2013Completeness Guarantees for Incomplete Ontology Reasoners: Theory and PracticeWCompleteness Guarantees...preprint / 2014Handling owl:sameAs via RewritingWHandling owl:sameAs via...preprint / 2014Ontology Module Extraction via Datalog ReasoningWOntology Module Extract...preprint / 2014Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with EqualityWCombining Rewriting and...preprint / 2015
Person12 links

Ian Horrocks

Researcher

PaperConjunctive Query Answering for the Description Logic SHIQAuthorship / preprint / 2011PaperAcyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesAuthorship / preprint / 2014PaperCorrecting Knowledge Base AssertionsAuthorship / preprint / 2020PaperIntroducing Nominals to the Combined Query Answering Approaches for ELAuthorship / preprint / 2013PaperA Description Logic PrimerAuthorship / preprint / 2013PaperHypertableau Reasoning for Description LogicsAuthorship / preprint / 2014PaperBERTMap: A BERT-based Ontology Alignment SystemAuthorship / preprint / 2022PaperComputing Datalog Rewritings beyond Horn OntologiesAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)