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.

Frank Wolter
SearchCollections
Map detail
Frank Wolter13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFrank WolterAFrank WolterResearcherFoundations for Uniform Interpolation and Forgetting in Expressive Description LogicsWFoundations for Uniform...preprint / 2011Interpolants and Explicit Definitions in Extensions of the Description Logic ELWInterpolants and Explic...preprint / 2022Description Logic TBoxes: Model-theoretic Characterizations and RewritabilityWDescription Logic TBoxe...preprint / 2011Temporal Description Logic for Ontology-Based Data Access (Extended Version)WTemporal Description Lo...preprint / 2013The Complexity of Circumscription in DLsWThe Complexity of Circu...preprint / 2014Spatial logics with connectedness predicatesWSpatial logics with con...preprint / 2010How to Approximate Ontology-Mediated QueriesWHow to Approximate Onto...preprint / 2022Logical Separability of Labeled Data Examples under OntologiesWLogical Separability of...preprint / 2022Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted SignaturesWSeparating Positive and...preprint / 2020A Journey into Ontology Approximation: From Non-Horn to HornWA Journey into Ontology...preprint / 2020Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNPWOntology-based Data Acc...preprint / 2013The Logical Difference for the Lightweight Description Logic ELWThe Logical Difference ...preprint / 2014
Person12 links

Frank Wolter

Researcher

PaperFoundations for Uniform Interpolation and Forgetting in Expressive Description LogicsAuthorship / preprint / 2011PaperInterpolants and Explicit Definitions in Extensions of the Description Logic ELAuthorship / preprint / 2022PaperDescription Logic TBoxes: Model-theoretic Characterizations and RewritabilityAuthorship / preprint / 2011PaperTemporal Description Logic for Ontology-Based Data Access (Extended Version)Authorship / preprint / 2013PaperThe Complexity of Circumscription in DLsAuthorship / preprint / 2014PaperSpatial logics with connectedness predicatesAuthorship / preprint / 2010PaperHow to Approximate Ontology-Mediated QueriesAuthorship / preprint / 2022PaperLogical Separability of Labeled Data Examples under OntologiesAuthorship / 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)