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.

Stefan Borgwardt
SearchCollections
Map detail
Stefan Borgwardt11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipStefan BorgwardtAStefan BorgwardtResearcherExpressivity of Planning with Horn Description Logic Ontologies (Technical Report)WExpressivity of Plannin...preprint / 2022Temporal Conjunctive Query Answering in the Extended DL-Lite FamilyWTemporal Conjunctive Qu...preprint / 2020Reasoning in Infinitely Valued G-IALCQWReasoning in Infinitely...preprint / 2015Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy OntologiesWAnswering Fuzzy Conjunc...preprint / 2015On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)WOn the Eve of True Expl...preprint / 2022Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)WExplaining Ontology-Med...preprint / 2022Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)WFinding Good Proofs for...preprint / 2022Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)WFinding Good Proofs for...preprint / 2022Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionWEvonne: Interactive Pro...preprint / 2022Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)WFinding Small Proofs fo...preprint / 2020
Person10 links

Stefan Borgwardt

Researcher

PaperExpressivity of Planning with Horn Description Logic Ontologies (Technical Report)Authorship / preprint / 2022PaperTemporal Conjunctive Query Answering in the Extended DL-Lite FamilyAuthorship / preprint / 2020PaperReasoning in Infinitely Valued G-IALCQAuthorship / preprint / 2015PaperAnswering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy OntologiesAuthorship / preprint / 2015PaperOn the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)Authorship / preprint / 2022PaperExplaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)Authorship / preprint / 2022PaperFinding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)Authorship / preprint / 2022PaperFinding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)Authorship / preprint / 2022

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)