Ulrike Sattler
Homepage: http://www.cs.man.ac.uk/~sattler
Affiliation: University of Manchester (at ESWC2007, ESWC2008, EvoDyn2011, ISWC2006, ISWC2008, ISWC2009, ISWC2010, ISWC2011, SSWS2008, WWW2007, WWW2008)
Affiliation: University of Manchestor (at RR2008)
The following publications of Ulrike Sattler are available:
- Safe and Economic re-use of ontologies: a logic-based methodology and tool support (at ESWC2008)
- Facilitating the Analysis of Ontology Differences (at EvoDyn2011)
- Can OWL and Logic Programming Live Together Happily Ever After? (at ISWC2006)
- Explanation of OWL Entailments in Protege 4 (at ISWC2008)
- Laconic and Precise Justifications in OWL (at ISWC2008)
- Understanding Justifications for Entailments in OWL (at ISWC2009)
- Justification Oriented Proofs in OWL (at ISWC2010)
- JustBench: A Framework for OWL Benchmarking (at ISWC2010)
- Decomposition and Modular Structure of BioPortal Ontologies (at ISWC2011)
- The Justificatory Structure of the NCBO BioPortal Ontologies (at ISWC2011)
- The Cognitive Complexity of OWL Justifications (at ISWC2011)
- Extracting Modules from Ontologies: A Logic-based Approach (at OWLED2007)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis (at OWLED2007)
- Adding Integrity Constraints to OWL (at OWLED2007)
- Just the Right Amount: Extracting Modules from Ontologies (at WWW2007)
- Bridging the Gap Between OWL and Relational Databases (at WWW2007)
- Structured Objects in OWL: Representation and Reasoning (at WWW2008)
We also know of the following roles that Ulrike Sattler played:
Resource URI on the dog food server: http://data.semanticweb.org/person/ulrike-sattler
Email Hash: 263ccece2324c257d2b0c10a62c3233893cbae29
Same as: http://semanticweb.org/id/Ulrike_Sattler
Explore this resource elsewhere: