Dentler, K.; Schlobach, S. & Gueret, C.: Semantic Web Reasoning by Swarm Intelligence. 8th International Semantic Web Conference (ISWC2009), Poster. 2009
[Volltext] [Kurzfassung] [BibTeX]

Semantic Web reasoning systems are confronted with the task to process growing amounts of distributed, dynamic resources. We propose a novel way of approaching the challenge by RDF graph traversal, exploiting the advantages of Swarm Intelligence. Our nature-inspired methodology is realised by self-organising swarms of autonomous, light-weight entities that traverse RDF graphs by following paths, aiming to instantiate pattern-based inference rules.

@inproceedings{iswc2009, author = {Kathrin Dentler and Stefan Schlobach and Christophe Gueret}, title = {Semantic Web Reasoning by Swarm Intelligence}, booktitle = {8th International Semantic Web Conference (ISWC2009), Poster}, year = {2009}, url = {http://data.semanticweb.org/conference/iswc/2009/paper/poster_demo/149}, keywords = {imported}, abstract = {Semantic Web reasoning systems are confronted with the task to process growing amounts of distributed, dynamic resources. We propose a novel way of approaching the challenge by RDF graph traversal, exploiting the advantages of Swarm Intelligence. Our nature-inspired methodology is realised by self-organising swarms of autonomous, light-weight entities that traverse RDF graphs by following paths, aiming to instantiate pattern-based inference rules.} }

Dentler, K.; Schlobach, S. & Gueret, C.: Semantic Web Reasoning by Swarm Intelligence. 5th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2009). 2009
[Volltext] [Kurzfassung] [BibTeX]

Semantic Web reasoning systems are confronted with the task to process growing amounts of distributed, dynamic resources. We propose a novel way of approaching the challenge by RDF graph traversal, exploiting the advantages of Swarm Intelligence. Our nature-inspired methodology is realised by self-organising swarms of autonomous, light-weight entities that traverse RDF graphs by following paths, aiming to instantiate pattern-based inference rules.

@inproceedings{ssws2009, author = {Kathrin Dentler and Stefan Schlobach and Christophe Gueret}, title = {Semantic Web Reasoning by Swarm Intelligence}, booktitle = {5th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2009)}, year = {2009}, url = {http://data.semanticweb.org/conference/iswc/2009/paper/poster_demo/149}, keywords = {imported}, abstract = {Semantic Web reasoning systems are confronted with the task to process growing amounts of distributed, dynamic resources. We propose a novel way of approaching the challenge by RDF graph traversal, exploiting the advantages of Swarm Intelligence. Our nature-inspired methodology is realised by self-organising swarms of autonomous, light-weight entities that traverse RDF graphs by following paths, aiming to instantiate pattern-based inference rules.} }

Isaac, A.; Kramer, D.; van der Meij, L.; Wang, S.; Schlobach, S. & Stapel, J.: Vocabulary Matching for Book Indexing Suggestion in Linked Libraries - A Prototype Implementation and Evaluation. In: Bernstein, A.; Karger, D. R.; Heath, T.; Feigenbaum, L.; Maynard, D.; Motta, E. & Thirunarayan, K. (Hrsg.): International Semantic Web Conference. Springer, 2009 (Lecture Notes in Computer Science 5823), S. 843-859
[BibTeX]

@inproceedings{DBLP:conf/semweb/IsaacKMWSS09, author = {Antoine Isaac and Dirk Kramer and Lourens van der Meij and Shenghui Wang and Stefan Schlobach and Johan Stapel}, title = {Vocabulary Matching for Book Indexing Suggestion in Linked Libraries - A Prototype Implementation and Evaluation}, editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, booktitle = {International Semantic Web Conference}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2009}, volume = {5823}, pages = {843-859}, isbn = {978-3-642-04929-3}, keywords = {imported} }

Isaac, A.; Wang, S.; Zinn, C.; Matthezing, H.; van der Meij, L. & Schlobach, S.: Evaluating Thesaurus Alignments for Semantic Interoperability in the Library Domain. In: IEEE Intelligent Systems Special Issue on AI and Cultural Heritage (2009),
[BibTeX]

@article{ieee09, author = {Antoine Isaac and Shenghui Wang and Claus Zinn and Henk Matthezing and Lourens van der Meij and Stefan Schlobach}, title = {Evaluating Thesaurus Alignments for Semantic Interoperability in the Library Domain}, journal = {IEEE Intelligent Systems }, year = {2009}, volume = {Special Issue on AI and Cultural Heritage }, keywords = {imported} }

Klarman, S. & Schlobach, S.: Relativizing Concept Descriptions to Comparison Classes. In: Grau, B. C.; Horrocks, I.; Motik, B. & Sattler, U. (Hrsg.): Description Logics. CEUR-WS.org, 2009 (CEUR Workshop Proceedings 477)
[BibTeX]

@inproceedings{DBLP:conf/dlog/KlarmanS09, author = {Szymon Klarman and Stefan Schlobach}, title = {Relativizing Concept Descriptions to Comparison Classes}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, booktitle = {Description Logics}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, year = {2009}, volume = {477}, keywords = {imported} }

Wang, S.; Isaac, A.; Schopman, B. A. C.; Schlobach, S. & van der Meij, L.: Matching Multi-lingual Subject Vocabularies. In: Agosti, M.; Borbinha, J. L.; Kapidakis, S.; Papatheodorou, C. & Tsakonas, G. (Hrsg.): ECDL. Springer, 2009 (Lecture Notes in Computer Science 5714), S. 125-137
[BibTeX]

@inproceedings{DBLP:conf/ercimdl/WangISSM09, author = {Shenghui Wang and Antoine Isaac and Balthasar A. C. Schopman and Stefan Schlobach and Lourens van der Meij}, title = {Matching Multi-lingual Subject Vocabularies}, editor = {Maristella Agosti and José Luis Borbinha and Sarantos Kapidakis and Christos Papatheodorou and Giannis Tsakonas}, booktitle = {ECDL}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2009}, volume = {5714}, pages = {125-137}, isbn = {978-3-642-04345-1}, keywords = {imported} }

Wang, S.; Schlobach, S.; Takens, J. & van Atteveldt, W.: Mapping-chains for Studying Concept Shift in Political Ontologies. In: Shvaiko, P.; Euzenat, Jé.; Giunchiglia, F.; Stuckenschmidt, H.; Noy, N. F. & Rosenthal, A. (Hrsg.): OM. CEUR-WS.org, 2009 (CEUR Workshop Proceedings 551)
[BibTeX]

@inproceedings{DBLP:conf/semweb/WangSTA08, author = {Shenghui Wang and Stefan Schlobach and Janet Takens and Wouter van Atteveldt}, title = {Mapping-chains for Studying Concept Shift in Political Ontologies}, editor = {Pavel Shvaiko and Jérôme Euzenat and Fausto Giunchiglia and Heiner Stuckenschmidt and Natalya Fridman Noy and Arnon Rosenthal}, booktitle = {OM}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, year = {2009}, volume = {551}, keywords = {imported} }

Guéret, C.; Oren, E.; Schlobach, S. & Schut, M.: An Evolutionary Perspective on Approximate RDF Query Answering. In: Greco, S. & Lukasiewicz, T. (Hrsg.): Scalable Uncertainty Management, Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings. 2008, S. 215-228
[BibTeX]

@inproceedings{DBLP:conf/sum/GueretOSS08, author = {Christophe Guéret and Eyal Oren and Stefan Schlobach and Martijn Schut}, title = {An Evolutionary Perspective on Approximate RDF Query Answering}, editor = {Sergio Greco and Thomas Lukasiewicz}, booktitle = {Scalable Uncertainty Management, Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings}, year = {2008}, pages = {215-228}, keywords = {imported} }

Huang, Z.; Schlobach, S.; van Harmelen, F.; Casellas, N. & Casanovas, P.: Dynamic Aspects of OPJK Legal Ontology. In: Casanovas, P.; Sartor, G.; Casellas, N. & Rubino, R. (Hrsg.): Computable Models of the Law, Languages, Dialogues, Games, Ontologies. 2008 (Lecture Notes in Computer Science 4884), S. 113-129
[BibTeX]

@incollection{DBLP:series/lncs/HuangSHCC08, author = {Zhisheng Huang and Stefan Schlobach and Frank van Harmelen and Nuria Casellas and Pompeu Casanovas}, title = {Dynamic Aspects of OPJK Legal Ontology}, editor = {Pompeu Casanovas and Giovanni Sartor and Nuria Casellas and Rossella Rubino}, booktitle = {Computable Models of the Law, Languages, Dialogues, Games, Ontologies}, series = {Lecture Notes in Computer Science}, year = {2008}, volume = {4884}, pages = {113-129}, keywords = {imported} }

Isaac, A.; Matthezing, H.; van der Meij, L.; Schlobach, S.; Wang, S. & Zinn., C.: Putting ontology alignment in context: usage scenarios, deployment and evaluation in a library case.. Proceedings of the 5th European Semantic Web Conference, (ESWC 2008). Tenerife, Spain: 2008
[BibTeX]

@inproceedings{eswc08, author = {Antoine Isaac and Henk Matthezing and Lourens van der Meij and Stefan Schlobach and Shenghui Wang and Claus Zinn.}, title = {Putting ontology alignment in context: usage scenarios, deployment and evaluation in a library case.}, booktitle = {Proceedings of the 5th European Semantic Web Conference, (ESWC 2008)}, address = {Tenerife, Spain}, year = {2008}, keywords = {imported} }

Isaac, A.; Matthezing, H.; Schlobach, S. & Zinn, C.: Integrated access to cultural heritage resources through representation and alignment of controlled vocabularies. In: Library Review 57 (2008), Nr. 3, S. 187-199
[BibTeX]

@article{libreview08, author = {Antoine Isaac and Henk Matthezing and Stefan Schlobach and Claus Zinn}, title = {Integrated access to cultural heritage resources through representation and alignment of controlled vocabularies}, journal = {Library Review}, year = {2008}, volume = {57}, number = {3}, pages = {187-199}, keywords = {imported} }

Isaac, A.; van der Meij, L.; Schlobach, S. & Wang, S.: An empirical study of instance-based ontology matching. Proceedings of the 20th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2008). 2008
[BibTeX]

@inproceedings{bnaic08, author = {Antoine Isaac and Lourens van der Meij and Stefan Schlobach and Shenghui Wang}, title = {An empirical study of instance-based ontology matching}, booktitle = {Proceedings of the 20th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2008)}, year = {2008}, keywords = {imported} }

Oren, E.; Guéret, C. & Schlobach, S.: Anytime Query Answering in RDF through Evolutionary Algorithms. In: Sheth, A. P.; Staab, S.; Dean, M.; Paolucci, M.; Maynard, D.; Finin, T. W. & Thirunarayan, K. (Hrsg.): 7th International Semantic Web Conference (ISWC 09). Springer, 2008 (Lecture Notes in Computer Science 5318), S. 98-113
[BibTeX]

@inproceedings{DBLP:conf/semweb/OrenGS08, author = {Eyal Oren and Christophe Guéret and Stefan Schlobach}, title = {Anytime Query Answering in RDF through Evolutionary Algorithms}, editor = {Amit P. Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy W. Finin and Krishnaprasad Thirunarayan}, booktitle = {7th International Semantic Web Conference (ISWC 09)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2008}, volume = {5318}, pages = {98-113}, keywords = {imported} }

Schopman, B. A. C.; Wang, S. & Schlobach, S.: Deriving Concept Mappings through Instance Mappings. In: Domingue, J. & Anutariya, C. (Hrsg.): ASWC. 2008 (Lecture Notes in Computer Science 5367), S. 122-136
[BibTeX]

@inproceedings{DBLP:conf/aswc/SchopmanWS08, author = {Balthasar A. C. Schopman and Shenghui Wang and Stefan Schlobach}, title = {Deriving Concept Mappings through Instance Mappings}, editor = {John Domingue and Chutiporn Anutariya}, booktitle = {ASWC}, series = {Lecture Notes in Computer Science}, year = {2008}, volume = {5367}, pages = {122-136}, keywords = {imported} }

Wang, S.; Englebienne, G. & Schlobach, S.: Learning Concept Mappings from Instance Similarity. International Semantic Web Conference. 2008, S. 339-355
[BibTeX]

@inproceedings{DBLP:conf/semweb/WangES08, author = {Shenghui Wang and Gwenn Englebienne and Stefan Schlobach}, title = {Learning Concept Mappings from Instance Similarity}, booktitle = {International Semantic Web Conference}, year = {2008}, pages = {339-355}, keywords = {imported} }

Proceedings of the First International Workshop on Nature Inspired Reasoning for the Semantic Web, Karlsruhe, Germany, October 27, 2008. CEUR Workshop Proceedings , 2008
[BibTeX]

@proceedings{DBLP:conf/semweb/2008natures,, title = {Proceedings of the First International Workshop on Nature Inspired Reasoning for the Semantic Web, Karlsruhe, Germany, October 27, 2008}, editor = {Christophe Guéret and Pascal Hitzler and Stefan Schlobach}, booktitle = {NatuReS}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, year = {2008}, volume = {419}, keywords = {imported} }

Isaac, A.; van der Meij, L.; Schlobach, S. & Wang, S.: An Empirical Study of Instance-Based Ontology Matching. International Semantic Web Conference (ISWC2007). 2007, S. 253-266
[BibTeX]

@inproceedings{DBLP:conf/semweb/IsaacMSW07, author = {Antoine Isaac and Lourens van der Meij and Stefan Schlobach and Shenghui Wang}, title = {An Empirical Study of Instance-Based Ontology Matching}, booktitle = {International Semantic Web Conference (ISWC2007)}, year = {2007}, pages = {253-266}, keywords = {imported} }

Isaac, A.; Zinn, C.; Matthezing, H.; van der Meij, L.; Schlobach, S. & Wang, S.: The Value of Usage Scenarios for Thesaurus Alignment in Cultural Heritage Context. Proceedings of the First International Workshop on Cultural Heritage on the Semantic Web, 6th International Semantic Web Conference (ISWC2007). Busan, Korea: 2007
[BibTeX]

@inproceedings{STITCH-UsageScenarios-CHSW07, author = {Antoine Isaac and Claus Zinn and Henk Matthezing and Lourens van der Meij and Stefan Schlobach and Shenghui Wang}, title = {The Value of Usage Scenarios for Thesaurus Alignment in Cultural Heritage Context}, booktitle = {Proceedings of the First International Workshop on Cultural Heritage on the Semantic Web, 6th International Semantic Web Conference (ISWC2007)}, address = {Busan, Korea}, year = {2007}, keywords = {imported} }

Klein, M. C.; Mika, P. & Schlobach, S.: Rough Description Logics for Modeling Uncertainty in Instance Unification. Proceedings of the Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2007. Busan, Korea: 2007
[Volltext] [Kurzfassung] [BibTeX]

Instance-unification is a prime example for uncertainty on the Semantic Web, as it is not always possible to automatically determine with absolute certainty whether two references denote the same object or not. In this paper, we present openacademia, a semantics-based system for the management of distributed bibliographic information collected from the Web, in which the Instance Unification problem is ubiquitous. Our tentative solution is Rough DL, a simple extension of classical Description Logics, which allows for approximations of vague concept. This shows that already a simple formalism for dealing with uncertain information in a qualitative way can provide an elegant solution to practical problems on the Semantic Web.

@inproceedings{URSW2007, author = {Michel C.A. Klein and Peter Mika and Stefan Schlobach}, title = {Rough Description Logics for Modeling Uncertainty in Instance Unification}, booktitle = {Proceedings of the Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2007}, address = {Busan, Korea}, year = {2007}, url = {http://www.cs.vu.nl/~mcaklein/papers/URSW2007.pdf}, keywords = {imported}, abstract = {Instance-unification is a prime example for uncertainty on the Semantic Web, as it is not always possible to automatically determine with absolute certainty whether two references denote the same object or not. In this paper, we present openacademia, a semantics-based system for the management of distributed bibliographic information collected from the Web, in which the Instance Unification problem is ubiquitous. Our tentative solution is Rough DL, a simple extension of classical Description Logics, which allows for approximations of vague concept. This shows that already a simple formalism for dealing with uncertain information in a qualitative way can provide an elegant solution to practical problems on the Semantic Web.} }

Peelen, L.; Klein, M. C. A.; Schlobach, S.; de Keizer, N. & Peek, N.: Analyzing Differences in Operational Disease Definitions Using Ontological Modeling. In: Bellazzi, R.; Abu-Hanna, A. & Hunter, J. (Hrsg.): Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings. 2007, S. 297-302
[BibTeX]

@inproceedings{DBLP:conf/aime/PeelenKSKP07, author = {Linda Peelen and Michel C. A. Klein and Stefan Schlobach and Nicolette de Keizer and Niels Peek}, title = {Analyzing Differences in Operational Disease Definitions Using Ontological Modeling}, editor = {Riccardo Bellazzi and Ameen Abu-Hanna and Jim Hunter}, booktitle = {Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings}, year = {2007}, pages = {297-302}, keywords = {imported} }

Peelen, L.; Klein, M. C.; Schlobach, S.; de Keizer, N. F. & Peek, N.: Analyzing Differences in Operational Disease Definitions using Ontological Modeling with an Application in Severe Sepsis. In: Dastani, M. & de Jong, E. (Hrsg.): Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'07). Utrecht, the Netherlands: 2007, S. 268-275
[Kurzfassung] [BibTeX]

In medicine, many diseases cannot be defined unequivocally by etiology or anatomical localization, but are instead described by a combination of signs and symptoms that are common in patients believed to be having that disease. In communication between health care professionals, this is generally not problematic. In biomedical research, however, crisp definitions are required to distinguish patients with and without the disease. This results in different operational definitions being in use for a single disease. Comparing those definitions, e.g, for trial design, is complicated by their complex structure. This paper presents an approach to compare different operational definitions of a single disease in a systematic manner using formal ontological modeling and reasoning. The concept of an operationalization hierarchy is introduced, which is subsequently used to model and analyze operational disease definitions. The approach is illustrated with a case-study in the area of severe sepsis.

@inproceedings{BNAIC07, author = {Linda Peelen and Michel C.A. Klein and Stefan Schlobach and Nicolette F. de Keizer and Niels Peek}, title = {Analyzing Differences in Operational Disease Definitions using Ontological Modeling with an Application in Severe Sepsis}, editor = {Mehdi Dastani and Edwin de Jong}, booktitle = {Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'07)}, address = {Utrecht, the Netherlands}, year = {2007}, pages = {268-275}, keywords = {imported}, abstract = {In medicine, many diseases cannot be defined unequivocally by etiology or anatomical localization, but are instead described by a combination of signs and symptoms that are common in patients believed to be having that disease. In communication between health care professionals, this is generally not problematic. In biomedical research, however, crisp definitions are required to distinguish patients with and without the disease. This results in different operational definitions being in use for a single disease. Comparing those definitions, e.g, for trial design, is complicated by their complex structure. This paper presents an approach to compare different operational definitions of a single disease in a systematic manner using formal ontological modeling and reasoning. The concept of an operationalization hierarchy is introduced, which is subsequently used to model and analyze operational disease definitions. The approach is illustrated with a case-study in the area of severe sepsis.} }

Schlobach, S.; Ahn, D.; de Rijke, M. & Jijkoun, V.: Data-driven Type Checking in Open Domain Question Answering. In: Journal of Applied Logic 5 (2007), Nr. 1, S. 121-143
[Volltext] [BibTeX]

@article{jal07, author = {S. Schlobach and D. Ahn and M. de Rijke and V. Jijkoun}, title = {Data-driven Type Checking in Open Domain Question Answering}, journal = {Journal of Applied Logic}, year = {2007}, volume = {5}, number = {1}, pages = {121--143}, url = {http://www.few.vu.nl/~schlobac/jal_qa2005.pdf}, keywords = {imported} }

Schlobach, S.; Huang, Z.; Cornet, R. & van Harmelen, F.: Debugging Incoherent Terminologies. In: Journal of Automated Reasoning 39 (2007), Nr. 3, S. 317-349
[BibTeX]

@article{SchlobachHCH07, author = {Stefan Schlobach and Zhisheng Huang and Ronald Cornet and Frank van Harmelen}, title = {Debugging Incoherent Terminologies}, journal = {Journal of Automated Reasoning}, year = {2007}, volume = {39}, number = {3}, pages = {317-349}, keywords = {imported} }

Schlobach, S.; Klein, M. C. & Peelen, L.: Description Logics with Approximate Definitions: Precise Modeling of Vague Concepts. In: Veloso, M. M. (Hrsg.): Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 07. Hyderabad, India: 2007
[Kurzfassung] [BibTeX]

We extend traditional Description Logics (DL) with a simple mechanism to handle approximate concept definitions in a qualitative way. Often, for example in medical applications, concepts are not definable in a crisp way but can fairly exhaustively be constrained through a particular sub- and a particular super-concept. We introduce such lower and upper approximations based on rough-set semantics, and show that reasoning in these languages can be reduced to standard DL satisfiability. This allows us to apply Rough Description Logics in a study of medical trials about sepsis patients, which is a typical application for precise modeling of vague knowledge. The study shows that Rough DL-based reasoning can be done in a realistic use case and that modeling vague knowledge helps to answer important questions in the design of clinical trials.

@inproceedings{IJCAI07, author = {Stefan Schlobach and Michel C.A. Klein and Linda Peelen}, title = {Description Logics with Approximate Definitions: Precise Modeling of Vague Concepts}, editor = {Manuela M. Veloso}, booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 07}, address = {Hyderabad, India}, year = {2007}, keywords = {imported}, abstract = {We extend traditional Description Logics (DL) with a simple mechanism to handle approximate concept definitions in a qualitative way. Often, for example in medical applications, concepts are not definable in a crisp way but can fairly exhaustively be constrained through a particular sub- and a particular super-concept. We introduce such lower and upper approximations based on rough-set semantics, and show that reasoning in these languages can be reduced to standard DL satisfiability. This allows us to apply Rough Description Logics in a study of medical trials about sepsis patients, which is a typical application for precise modeling of vague knowledge. The study shows that Rough DL-based reasoning can be done in a realistic use case and that modeling vague knowledge helps to answer important questions in the design of clinical trials.} }

Schlobach, S.; Klein, M. C. & Peelen, L.: DLs with Approximate Definitions. In: Dastani, M. & de Jong, E. (Hrsg.): Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'07). Utrecht, the Netherlands: 2007, S. 393-394
[BibTeX]

@inproceedings{BNAIC07s, author = {Stefan Schlobach and Michel C.A. Klein and Linda Peelen}, title = {DLs with Approximate Definitions}, editor = {Mehdi Dastani and Edwin de Jong}, booktitle = {Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'07)}, address = {Utrecht, the Netherlands}, year = {2007}, pages = {393-394}, note = {Summary of the IJCAI 07 publication.}, keywords = {imported} }

Wang, S.; Isaac, A.; van der Meij, L. & Schlobach, S.: Multi-Concept Alignment and Evaluation. Proceedings of the Second International Workshop on Ontology Matching, collocated with the 6th International Semantic Web Conference (ISWC2007). Busan, Korea: 2007
[Volltext] [BibTeX]

@inproceedings{STITCH-Multimapping-OM07, author = {Shenghui Wang and Antoine Isaac and Lourens van der Meij and Stefan Schlobach}, title = {Multi-Concept Alignment and Evaluation}, booktitle = {Proceedings of the Second International Workshop on Ontology Matching, collocated with the 6th International Semantic Web Conference (ISWC2007)}, address = {Busan, Korea}, year = {2007}, url = {http://ceur-ws.org/Vol-304}, keywords = {imported} }

van Gendt, M.; Isaac, A.; van der Meij, L. & Schlobach, S.: Faceted Access to Heterogeneous Cultural Heritage Collections using Semantic Web Techniques (Demonstration abstract). In: Schobbens, P.-Y.; Vanhof, W. & Schwanen, G. (Hrsg.): Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006). Namur, Belgium: 2006, S. 451-452
[BibTeX]

@inproceedings{STITCH-demo-BNAIC06, author = {Marjolein van Gendt and Antoine Isaac and Lourens van der Meij and Stefan Schlobach}, title = {Faceted Access to Heterogeneous Cultural Heritage Collections using Semantic Web Techniques (Demonstration abstract)}, editor = {Pierre-Yves Schobbens and Wim Vanhof and Gabriel Schwanen}, booktitle = {Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006)}, address = {Namur, Belgium}, year = {2006}, pages = {451-452}, keywords = {imported} }

van Gendt, M.; Isaac, A.; van der Meij, L. & Schlobach, S.: Semantic Web Techniques for Multiple Views on Heterogeneous Collections: a Case Study. In: Gonzalo, J.; Thanos, C.; Verdejo, M. F. & Carrasco, R. C. (Hrsg.): Proceedings of the 10th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2006). Alicante, Spain: 2006 (Lecture Notes in Computer Science, vol. 4172), S. 426-437
[BibTeX]

@inproceedings{STITCH-ECDL06, author = {Marjolein van Gendt and Antoine Isaac and Lourens van der Meij and Stefan Schlobach}, title = {Semantic Web Techniques for Multiple Views on Heterogeneous Collections: a Case Study}, editor = {Julio Gonzalo and Constantino Thanos and M. Felisa Verdejo and Rafael C. Carrasco}, booktitle = {Proceedings of the 10th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2006)}, address = {Alicante, Spain}, year = {2006}, volume = {Lecture Notes in Computer Science, vol. 4172}, pages = {426-437}, keywords = {imported} }

van Gendt, M.; Isaac, A.; van der Meij, L. & Schlobach, S.: Semantic Web Techniques for Multiple Views on Heterogeneous Collections: a Case Study (Extended Abstract). In: Schobbens, P.-Y.; Vanhof, W. & Schwanen, G. (Hrsg.): Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006). Namur, Belgium: 2006, S. 379-380
[BibTeX]

@inproceedings{STITCH-study-BNAIC06, author = {Marjolein van Gendt and Antoine Isaac and Lourens van der Meij and Stefan Schlobach}, title = {Semantic Web Techniques for Multiple Views on Heterogeneous Collections: a Case Study (Extended Abstract)}, editor = {Pierre-Yves Schobbens and Wim Vanhof and Gabriel Schwanen}, booktitle = {Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006)}, address = {Namur, Belgium}, year = {2006}, pages = {379-380}, keywords = {imported} }

Isaac, A. & Schlobach, S.: De Standaard: SKOS, Simple Knowledge Organisation System (In Dutch, transl. by Marianne Peereboom). In: Informatie Professional 10 (2006), Nr. 11, S. 40-43
[BibTeX]

@article{isaacIP05-SKOS, author = {Antoine Isaac and Stefan Schlobach}, title = {De Standaard: SKOS, Simple Knowledge Organisation System (In Dutch, transl. by Marianne Peereboom)}, journal = {Informatie Professional}, year = {2006}, volume = {10}, number = {11}, pages = {40-43}, keywords = {imported} }

Schlobach, S. & Huang, Z.: Inconsistent Ontology Diagnosis: Evaluation. , 2006
[BibTeX]

@techreport{sekt362, author = {Stefan Schlobach and Zhisheng Huang}, title = {Inconsistent Ontology Diagnosis: Evaluation}, year = {2006}, number = {D3.6.2}, keywords = {imported} }

Ahn, D.; Jijkoun, V.; Müller, K.; de Rijke, M.; Schlobach, S. & Mishne, G.: Making Stone Soup: Evaluating a Recall-Oriented Multi-Stream Question Answering Stream for Dutch. In: Peters, C.; Clough, P.; Jones, G.; Gonzalo, J.; Kluck, M. & Magnini, B. (Hrsg.): Multilingual Information Access for Text, Speech and Images: Results of the Fifth CLEF Evaluation Campaign. Springer, 2005LNCS , S. 423-434
[Volltext] [BibTeX]

@inproceedings{clef05, author = {D. Ahn and V. Jijkoun and K. Müller and M. de Rijke and S. Schlobach and G. Mishne}, title = {Making Stone Soup: Evaluating a Recall-Oriented Multi-Stream Question Answering Stream for Dutch}, editor = {C. Peters and P.D. Clough and G.J.F. Jones and J. Gonzalo and M. Kluck and B. Magnini}, booktitle = {Multilingual Information Access for Text, Speech and Images: Results of the Fifth CLEF Evaluation Campaign}, series = {LNCS}, publisher = {Springer}, year = {2005}, number = {3491}, pages = {423-434}, url = {http://www.few.vu.nl/~schlobac/clef05proc.pdf}, keywords = {imported} }

Ahn, D.; Jijkoun, V.; Mishne, G.; Müller, K.; de Rijke, M. & Schlobach, S.: Wikipedia at the TREC QA Track. In: Voorhees, E. & Buckland, L. (Hrsg.): The Thirteenth Text Retrieval Conference (TREC 2004). 2005
[Volltext] [BibTeX]

@inproceedings{trecQA04, author = {D. Ahn and V. Jijkoun and G. Mishne and K. Müller and M. de Rijke and S. Schlobach}, title = {Wikipedia at the TREC QA Track}, editor = {E.M. Voorhees and L.P. Buckland}, booktitle = {The Thirteenth Text Retrieval Conference (TREC 2004)}, year = {2005}, url = {http://www.few.vu.nl/~schlobac/uams-trec-2004.pdf}, keywords = {imported} }

van Atteveldt, W. & Schlobach, S.: A Modal view on Polder Politics. In: Artemov, S.; Barringer, H.; d'Avila Garcez, A. S.; Lamb, L. C. & Woods, J. (Hrsg.): We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1. College Publcations, 2005, S. 89-105
[Volltext] [BibTeX]

@incollection{wvaschlobach05a, author = {W. van Atteveldt and S. Schlobach}, title = {A Modal view on Polder Politics}, editor = {S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods}, booktitle = {We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1}, publisher = {College Publcations}, year = {2005}, pages = {89-105}, url = {http://www.few.vu.nl/~schlobac/dov2005.pdf}, keywords = {imported} }

van Atteveldt, W. & Schlobach, S.: A Modal view on Polder Politics. Methods for Modalities (M4M). Berlin: 2005
[Volltext] [BibTeX]

@inproceedings{wvaschlobach05b, author = {W. van Atteveldt and S. Schlobach}, title = {A Modal view on Polder Politics}, booktitle = {Methods for Modalities (M4M)}, address = {Berlin}, year = {2005}, url = {http://www.few.vu.nl/~schlobac/m4m.pdf}, keywords = {imported} }

van Atteveldt, W.; Schlobach, S.; van Assem, M. F. J. & Kleinnijenhuis, J.: Ontologising Media Research. Poster presented at the first European Communication Conference (ECC05) (Amsterdam, 24-26 November). 2005
[BibTeX]

@inproceedings{atteveldt05ecc, author = {Wouter van Atteveldt and Stefan Schlobach and M. F. J. van Assem and Jan Kleinnijenhuis}, title = {Ontologising Media Research}, booktitle = {Poster presented at the first European Communication Conference (ECC05) (Amsterdam, 24-26 November)}, year = {2005}, keywords = {imported} }

Schlobach, S.: Debugging and Semantic Clarification by Pinpointing. Proceedings of ESWC 2005. 2005
[Volltext] [BibTeX]

@inproceedings{schlobach:eswc05, author = {S. Schlobach}, title = {Debugging and Semantic Clarification by Pinpointing}, booktitle = {Proceedings of ESWC 2005}, year = {2005}, url = {http://www.few.vu.nl/~schlobac/eswc05.pdf}, keywords = {imported} }

Schlobach, S.: Diagnosing Terminologies.. In: Veloso, M. M. & Kambhampati, S. (Hrsg.): Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press AAAI Press / The MIT Press, 2005, S. 670-675
[Volltext] [BibTeX]

@inproceedings{aaaiSchlobach05, author = {S. Schlobach}, title = {Diagnosing Terminologies.}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA}, publisher = {AAAI Press AAAI Press / The MIT Press}, year = {2005}, pages = {670-675}, url = {http://www.few.vu.nl/~schlobac/aaai05.pdf}, isbn = {1-57735-236-X}, keywords = {imported} }

Schlobach, S. & Huang, Z.: Inconsistent Ontology Diagnosis: Framework and Prototype. , 2005
[BibTeX]

@techreport{sekt361, author = {Stefan Schlobach and Zhisheng Huang}, title = {Inconsistent Ontology Diagnosis: Framework and Prototype}, year = {2005}, number = {D3.6.1}, keywords = {imported} }

Ahn, D.; Fissaha, S.; Jijkoun, V.; Mishne, G.; Müller, K.; de Rijke, M. & Schlobach, S.: The University of Amsterdam at the QA at CLEF. Proceedings CLEF 2004. 2004
[Volltext] [BibTeX]

@inproceedings{jijk:univ05clefqa, author = {D. Ahn and S. Fissaha and V. Jijkoun and G. Mishne and K. Müller and M. de Rijke and S. Schlobach}, title = {The University of Amsterdam at the QA at CLEF}, booktitle = {Proceedings CLEF 2004}, year = {2004}, url = {http://www.few.vu.nl/~schlobac/clef2004.pdf}, keywords = {imported} }

Ahn, D.; Fissaha, S.; Jijkoun, V.; Mishne, G.; Monz, C.; de Rijke, M.; Schlobach, S. & Tsur, O.: The University of Amsterdam at the TREC 2004 Question Answering Track. Proceedings TREC 2004. 2004
[BibTeX]

@inproceedings{jijk:univ05trecqa, author = {D. Ahn and S. Fissaha and V. Jijkoun and G. Mishne and C. Monz and M. de Rijke and S. Schlobach and O. Tsur}, title = {The University of Amsterdam at the TREC 2004 Question Answering Track}, booktitle = {Proceedings TREC 2004}, year = {2004}, keywords = {imported} }

Ahn, D.; Jijkoun, V.; Kamps, J.; Mishne, G.; Müller, K.; de Rijke, M. & Schlobach, S.: The University of Amsterdam at TREC 2004. TREC 2004 Conference Notebook. Gaithersburg, Maryland USA: 2004, S. 43-56
[BibTeX]

@inproceedings{uams-trec-2004-wn, author = {D. Ahn and V. Jijkoun and J. Kamps and G. Mishne and K. Müller and M. de Rijke and S. Schlobach}, title = {The University of Amsterdam at TREC 2004}, booktitle = {TREC 2004 Conference Notebook}, address = {Gaithersburg, Maryland USA}, year = {2004}, pages = {43--56}, keywords = {imported} }

Ahn, D.; Jijkoun, V.; Mishne, G.; Müller, K.; de Rijke, M. & Schlobach, S.: A Recall Oriented Approach to Open Domain Question Answering (abstract). 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004). 2004
[BibTeX]

@inproceedings{ahn:reca04, author = {D. Ahn and V. Jijkoun and G. Mishne and K. Müller and M. de Rijke and S. Schlobach}, title = {A Recall Oriented Approach to Open Domain Question Answering (abstract)}, booktitle = {15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004)}, year = {2004}, keywords = {imported} }

Jijkoun, V.; Mishne, G.; Monz, C.; de Rijke, M.; Schlobach, S. & Tsur, O.: The University of Amsterdam at the TREC 2003 Question Answering Track. Proceedings TREC 2003. 2004
[BibTeX]

@inproceedings{jijk:univ04trecqa, author = {V. Jijkoun and G. Mishne and C. Monz and M. de Rijke and S. Schlobach and O. Tsur}, title = {The University of Amsterdam at the TREC 2003 Question Answering Track}, booktitle = {Proceedings TREC 2003}, year = {2004}, keywords = {imported} }

Jijkoun, V.; Mishne, G.; de Rijke, M.; Schlobach, S.; Ahn, D. & Müller, K.: The University of Amsterdam at QA at CLEF 2004. In: Peters, C. & Borri, F. (Hrsg.): Working Notes for the CLEF 2004 Workshop. 2004, S. 321-324
[BibTeX]

@inproceedings{jijk:univ04, author = {V. Jijkoun and G. Mishne and M. de Rijke and S. Schlobach and D. Ahn and K. Müller}, title = {The University of Amsterdam at QA at CLEF 2004}, editor = {C. Peters and F. Borri}, booktitle = {Working Notes for the CLEF 2004 Workshop}, year = {2004}, pages = {321--324}, keywords = {imported} }

Schlobach, S.: Explaining Subsumption by Optimal Interpolation. Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04). Springer, 2004LNAI
[Volltext] [BibTeX]

@inproceedings{schlobach:jelia04, author = {S. Schlobach}, title = {Explaining Subsumption by Optimal Interpolation}, booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04)}, series = {LNAI}, publisher = {Springer}, year = {2004}, url = {http://www.few.vu.nl/~schlobac/jelia04.pdf}, keywords = {imported} }

Schlobach, S. & Cornet, R.: Logical Support for Terminological Modeling. In: Fieschi, M.; Coeira, E. & Li, Y.-C. J. (Hrsg.): Proceedings of MedInfo 2004. 2004Studies in Health Technology and Informatics
[Volltext] [BibTeX]

@inproceedings{schlobachcornet_medinfo2004, author = {S. Schlobach and R. Cornet}, title = {Logical Support for Terminological Modeling}, editor = {M. Fieschi and E. Coeira and Yu-Chan Jack Li}, booktitle = {Proceedings of MedInfo 2004}, series = {Studies in Health Technology and Informatics}, year = {2004}, number = {107}, url = {http://www.few.vu.nl/~schlobac/SCMedi.pdf}, keywords = {imported} }

Schlobach, S.; Olsthoorn, M. & de Rijke, M.: Type Checking in Open-Domain Question Answering. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04). 2004
[Volltext] [BibTeX]

@inproceedings{schlobach:ecai04, author = {S. Schlobach and M. Olsthoorn and M. de Rijke}, title = {Type Checking in Open-Domain Question Answering}, booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04)}, year = {2004}, url = {http://www.few.vu.nl/~schlobac/ecai2004.pdf}, keywords = {imported} }

Schlobach, S.; Olsthoorn, M. & de Rijke, M.: Type Checking in Open-Domain Question Answering (Extended Abstract). Proceedings BNAIC 2004. 2004
[Volltext] [BibTeX]

@inproceedings{schl:bnaic04, author = {S. Schlobach and M. Olsthoorn and M. de Rijke}, title = {Type Checking in Open-Domain Question Answering (Extended Abstract)}, booktitle = {Proceedings BNAIC 2004}, year = {2004}, url = {http://www.few.vu.nl/~schlobac/bnaic2004.pdf}, keywords = {imported} }

Jijkoun, V.; Kamps, J.; Mishne, G.; Monz, C.; de Rijke, M.; Schlobach, S. & Tsur, O.: The University of Amsterdam at TREC 2003. TREC 2003 Conference Notebook. 2003
[BibTeX]

@inproceedings{jijk:univ03trec, author = {V. Jijkoun and J. Kamps and G. Mishne and C. Monz and M. de Rijke and S. Schlobach and O. Tsur}, title = {The University of Amsterdam at TREC 2003}, booktitle = {TREC 2003 Conference Notebook}, year = {2003}, keywords = {imported} }

Schlobach, S.: Optimal Interpolation. Methods for Modalities 3. 2003
[BibTeX]

@inproceedings{schlobach:m4m03, author = {S. Schlobach}, title = {Optimal Interpolation}, booktitle = {Methods for Modalities 3}, year = {2003}, keywords = {imported} }

Schlobach, S. & Cornet, R.: Explanation of Terminological Reasoning; A preliminary report. Proceedings of the Description Logics Workshop. 2003
[BibTeX]

@inproceedings{schlobach:dl03, author = {S. Schlobach and R. Cornet}, title = {Explanation of Terminological Reasoning; A preliminary report}, booktitle = {Proceedings of the Description Logics Workshop}, year = {2003}, keywords = {imported} }

Schlobach, S. & Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI'03. Morgan Kaufmann, 2003
[Volltext] [BibTeX]

@inproceedings{schlobach:ijcai03, author = {S. Schlobach and R. Cornet}, title = {Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies}, booktitle = {Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI'03}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://www.few.vu.nl/~schlobac/ijcai03.pdf}, keywords = {imported} }

Schlobach, S. & Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies (Extended Abstract). Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence. 2003
[BibTeX]

@inproceedings{schlobach:BNAIC03, author = {S. Schlobach and R. Cornet}, title = {Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies (Extended Abstract)}, booktitle = {Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence}, year = {2003}, keywords = {imported} }

Schlobach, S.: Knowledge Acquisition in Hybrid Knowledge Representation Systems. University of London, 2002
[Volltext] [BibTeX]

@phdthesis{schlobachPhD, author = {S. Schlobach}, title = {Knowledge Acquisition in Hybrid Knowledge Representation Systems}, school = {University of London}, year = {2002}, url = {http://www.few.vu.nl/~schlobac/diss.pdf}, keywords = {imported} }

Schlobach, S.: Interpolation based Assertion Mining. Workshop on Applications of Description Logics (ADL-2001). Wien: 2001
[BibTeX]

@inproceedings{schlobach:adl01, author = {S. Schlobach}, title = {Interpolation based Assertion Mining}, booktitle = {Workshop on Applications of Description Logics (ADL-2001)}, address = {Wien}, year = {2001}, keywords = {imported} }

Marx, M.; Mikulas, S. & Schlobach, S.: Labelled deduction for the guarded fragment. In: Basin, D.; D'Agostino, M.; Gabbay, D.; Matthews, S. & Vigano, L. (Hrsg.): Labelled Deduction. Kluwer Academic Publishers, 2000 (Applied Logic Series 17), S. 193-214
[Volltext] [BibTeX]

@incollection{MMSld, author = {M. Marx and S. Mikulas and S. Schlobach}, title = {Labelled deduction for the guarded fragment}, editor = {D. Basin and M. D'Agostino and D. Gabbay and S. Matthews and L. Vigano}, booktitle = {Labelled Deduction}, series = {Applied Logic Series}, publisher = {Kluwer Academic Publishers}, year = {2000}, volume = {17}, pages = {193-214}, url = {http://www.few.vu.nl/~schlobac/LD99.ps.gz}, keywords = {imported} }

Schlobach, S.: Assertional Mining in Description Logics. Proceedings of the International Workshop on Description Logics (DL'2000). RWTH Aachen: 2000
[BibTeX]

@inproceedings{schlobachdl2000, author = {S. Schlobach}, title = {Assertional Mining in Description Logics}, booktitle = {Proceedings of the International Workshop on Description Logics (DL'2000)}, address = {RWTH Aachen}, year = {2000}, keywords = {imported} }

Schlobach, S.: Description Logics and Knowledge Discovery of Data. Automated Reasoning Workshop ARW2000. King's College London: 2000
[BibTeX]

@inproceedings{schlobacharw2000, author = {S. Schlobach}, title = {Description Logics and Knowledge Discovery of Data}, booktitle = {Automated Reasoning Workshop ARW2000}, address = {King's College London}, year = {2000}, keywords = {imported} }

Automated Reasoning Workshop (ARW - 2000). London, UK, 2000
[Volltext] [BibTeX]

@proceedings{arw:2000,, title = {Automated Reasoning Workshop (ARW - 2000)}, editor = {H. J. Ohlbach and U. Endriss and O. Rodrigues and S. Schlobach}, address = {London, UK}, year = {2000}, url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-32/}, keywords = {imported} }

Marx, M.; Mikulas, S. & Schlobach, S.: A Tableau Calculus for Local Cubic Modal Logics and its Implementation. In: Logic Journal of the IGPL 7(6) (1999), S. 755-778
[Volltext] [BibTeX]

@article{MMSigpl, author = {M. Marx and S. Mikulas and S. Schlobach}, title = {A Tableau Calculus for Local Cubic Modal Logics and its Implementation}, journal = {Logic Journal of the IGPL}, year = {1999}, volume = {7(6)}, pages = {755--778}, url = {http://www.few.vu.nl/~schlobac/IGPL-7-6-1999.ps.gz}, keywords = {imported} }

Marx, M. & Schlobach, S.: lc2: A Labelled Tableau Theorem Prover for 2-dimensional Local Square Modal Logic. M4M Methods for Modalities, Workshop Proceedings. 1999
[BibTeX]

@inproceedings{schlobach-m4m99, author = {M. Marx and S. Schlobach}, title = {lc2: A Labelled Tableau Theorem Prover for 2-dimensional Local Square Modal Logic}, booktitle = {M4M Methods for Modalities, Workshop Proceedings}, year = {1999}, keywords = {imported} }