Anne Schlicht
 

Researcher

B6, 26 Room B 1.15
Tel.: +49 621 181 3786

anne (at) informatik.uni-mannheim.de

 


Research Topics

My research focus is on modular knowledge representation and reasoning. In particular I'm interested in methods for connecting ontologies and segmenting large ontologies. My current approach is based on adapting resolution reasoning for modular description logics.

With the increasing awareness of the benefits from knowledge representation technologies, real-world ontologies have been developed that are to large to be managed with standard editors and reasoners. We address this problem by developing partitioning methods for splitting up large ontologies and a distributed reasoning approach for answering queries to a set of connected ontology modules.

Ontology Partitioning

Our partitioning tool Pato uses structural information to create a graph representation of the dependencies between ontology elements. A set of connected ontology modules is created from the large ontology based on this dependency graph.

Distributed Reasoning

Resolution methods are the most common approach for first order provers and have been succesfully applied for description logics, too. We are working on a distributed resolution reasoner that aswers queries to a distributed ontology by local resolution in the seperate modules of the ontology and communication between the modules.


Publications

Articles:
1.   Anne Schlicht and Heiner Stuckenschmidt. Peer-to-peer Reasoning for Interlinked Ontologies. International Journal of Semantic Computing, 2010, Special Issue on Web Scale Reasoning.
Bookchapters:
2.   Mathieu d’Aquin, Anne Schlicht, Heiner Stuckenschmidt and Marta Sabou. Criteria and Evaluation for Ontology Modularization Techniques. Modular Ontologies, 5445, Lecture Notes in Computer Science, Springer, 2009.
3.   Anne Schlicht and Heiner Stuckenschmidt. Structure-Based Partitioning of Large Ontologies. Modular Ontologies, 5445, Lecture Notes in Computer Science, Springer, 2009.
Contributions to Conferences:
4.   Anne Schlicht and Heiner Stuckenschmidt. MapResolve. Proceedings of the Fifth International Conference on Web Reasoning and Rule Systems, RR 2011, 2011.
5.   Anne Schlicht and Heiner Stuckenschmidt. Distributed Resolution for Expressive Ontology Networks (best paper award). Web Reasoning and Rule Systems, 2009.
6.   Anne Schlicht and Heiner Stuckenschmidt. Towards Distributed Ontology Reasoning for the Web. 2008 IEEE/WIC/ACM International Conference on Web Intelligence, 2008.
7.   Anne Schlicht and Heiner Stuckenschmidt. A Flexible Partitioning Tool for Large Ontologies. 2008 IEEE/WIC/ACM International Conference on Web Intelligence, 2008.
8.   Anne Schlicht and Heiner Stuckenschmidt. Criteria-Based Partitioning of Large Ontologies. 4th international conference on Knowledge capture (KCAP), 2007.
9.   Mathieu d’Aquin, Anne Schlicht, Heiner Stuckenschmidt and Marta Sabou. Ontology Modularization for Knowledge Selection: Experiments and Evaluations. 18th International Conference on Database and Expert Systems Applications (DEXA), 2007.
Contributions to Workshops:
10.   Anne Schlicht and Heiner Stuckenschmidt. Distributed Resolution for ALC. Proceedings of the The 21st International Workshop on Description Logics (DL2008), Dresden, Germany, 2008.
11.   Anne Schlicht and Heiner Stuckenschmidt. Distributed Resolution for ALC - First Results. Workshop on Advancing Reasoning on the Web, 2008.
12.   Anne Schlicht. Improving the Usability of Large Ontologies by Modularization (best paper award). Knowledge Web PhD Symposium, 2007.
13.   Anne Schlicht and Heiner Stuckenschmidt. Towards Structural Criteria for Ontology Modularization. Workshop on Modular Ontologies (WoMO), 2006.