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


