@article{SWJ2021,
  author    = {Al Koudous Idrissou and
               Frank van Harmelen and
               Peter van den Besselaar},
  title     = {Network metrics for assessing the quality of entity resolution
               between multiple datasets},
  journal   = {Semantic Web Journal},
  volume    = {12},
  number    = {1},
  pages     = {21--40},
  year      = {2021},
  url       = {https://doi.org/10.3233/SW-200410},
  doi       = {10.3233/SW-200410},
  timestamp = {Tue, 29 Dec 2020 18:22:15 +0100},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWJ2021.pdf",
  biburl    = {https://dblp.org/rec/journals/semweb/IdrissouHB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@ARTICLE {9153877,
author = {Z. Akata and D. Balliet and M. de Rijke and F. Dignum and V. Dignum and G. Eiben and A. Fokkens and D. Grossi and K. Hindriks and H. Hoos and H. Hung and C. Jonker and C. Monz and M. Neerincx and F. Oliehoek and H. Prakken and S. Schlobach and L. van der Gaag and F. van Harmelen and H. van Hoof and B. van Riemsdijk and A. van Wynsberghe and R. Verbrugge and B. Verheij and P. Vossen and M. Welling},
journal = {IEEE Computer},
title = {A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence},
year = {2020},
volume = {53},
number = {08},
issn = {1558-0814},
pages = {18-28},
doi = {10.1109/MC.2020.2996587},
publisher = {IEEE Computer Society},
url = {https://www.computer.org/csdl/magazine/co/2020/08/09153877/1lUB5gL2CnS},
address = {Los Alamitos, CA, USA},
month = {aug},
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEEComputer2020.pdf"
}

@article{DataIntelligence2019,
title = "Constructing and Cleaning Identity Graphs in the LOD Cloud",
author = "Joe Raad and Wouter Beek and Frank van Harmelen and Jan Wielemaker And Nathalie Pernelle and Fatiha Sais",
journal = "Data Intelligence",
year = "2020",
volume = "2",
number = "3",
pages = "323-351",
url = "https://www.mitpressjournals.org/doi/abs/10.1162/dint_a_00057",
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DataIntelligence2019.pdf",
doi = "https://doi.org/10.1162/dint_a_00057",
keywords = {Semantic Web}
}

@inproceedings{ESWC2020-Hamid,
  title={Handling Impossible Derivations during Stream Reasoning}, 
  author={Hamid Bazoobandi, Henri Bal, Frank Van Harmelen and Jacopo Urbani},
  booktitle={European Semantic Web Conference, ESWC 2020},
  pages= {3-19},
  series = {LNCS},
  volume = {12123},
  year={2020},
  publisher={Springer Berlin Heidelberg},
  keywords = {Stream Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC2020-Hamid.pdf"
}

@inproceedings{ESWC2020-Wouter,
  title={MetaLink: A Travel Guide to the LOD Cloud}, 
  author={Wouter Beek, Joe Raad, Erman Acar and Frank Van Harmelen},
  booktitle={European Semantic Web Conference, ESWC 2020},
  pages= {481-496},
  series = {LNCS},
  volume = {12123},
  year={2020},
  publisher={Springer Berlin Heidelberg},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC2020-Wouter.pdf"
}

@InProceedings{SUBMASSIVE:2020,
  author = {Shuai Wang and Peter Bloem and Joe Raad and Frank van Harmele},
  title = {SUBMASSIVE: Resolving Subclass Cycles in
           Very Large Knowledge Graphs},
  booktitle = {Proceedings of the 2nd workshops on Large Scale
               RDF Data Analytics},
  publisher = {CEUR-WS.org},
  url       = {http://ceur-ws.org/Vol-xxx},
  year = 2020,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/LASCAR-WS-2020.pdf"
}

@Article{JAL2019,
  author = 	 {Emile van Krieken and Erman Acar and Frank van Harmelen},
  title = 	 {Semi-Supervised Learning using Differentiable Reasoning},
  journal = 	 {IFCoLog Journal of Logic and its Applications},
  year = 	 2019,
  volume = 	 6,
  number =       4,
  pages =        {633-653},
  keywords = {Machine Learning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JAL2019.pdf"
}

@article{JWS2019,
title = "User-centric pattern mining on knowledge graphs: An archaeological case study",
author = "W.X. Wilcke and V. de Boer and M.T.M. de Kleijn and F.A.H. van Harmelen and H.J. Scholten",
journal = "Journal of Web Semantics",
year = "2019",
volume = {in print},
issn = "1570-8268",
doi = "10.1016/j.websem.2018.12.004",
url = "http://www.sciencedirect.com/science/article/pii/S1570826818300660",
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS2019.pdf",
keywords = {Semantic Web},
abstract = "In recent years, there has been a growing interest from the digital humanities in knowledge graphs as data modelling paradigm. Already, this has led to the creation of many such knowledge graphs, many of which are now available as part of the Linked Open Data cloud. This presents new opportunities for data mining. In this work, we develop, implement, and evaluate (both data-driven and user-driven) an end-to-end pipeline for user-centric pattern mining on knowledge graphs in the humanities. This pipeline combines constrained generalized association rule mining with natural language output and facet rule browsing to allow for transparency and interpretability—two key domain requirements. Experiments in the archaeological domain show that domain experts were positively surprised by the range of patterns that were discovered and were overall optimistic about the future potential of this approach."
}

In recent years, there has been a growing interest from the digital humanities in knowledge graphs as data modelling paradigm. Already, this has led to the creation of many such knowledge graphs, many of which are now available as part of the Linked Open Data cloud. This presents new opportunities for data mining. In this work, we develop, implement, and evaluate (both data-driven and user-driven) an end-to-end pipeline for user-centric pattern mining on knowledge graphs in the humanities. This pipeline combines constrained generalized association rule mining with natural language output and facet rule browsing to allow for transparency and interpretability—two key domain requirements. Experiments in the archaeological domain show that domain experts were positively surprised by the range of patterns that were discovered and were overall optimistic about the future potential of this approach.

@article{JWE2019,
title = "A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems",
author = "Frank van Harmelen and Annette ten Teije",
journal = "Journal of Web Engineering",
year = "2019",
volume = "18",
number = "1-3",
pages = "97-124",
doi = " 10.13052/jwe1540-9589.18133",
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWE2019.pdf",
keywords = {Machine Learning},
abstract = "We propose a set of compositional design patterns to describe a large variety of systems that combine statistical techniques from machine learning with symbolic techniques from knowledge representation. As in other areas of computer science (knowledge engineering, software engineering, ontology engineering, process mining and others), such design patterns help to systematize the literature, clarify which combinations of techniques serve which purposes, and encourage re-use of software components. We have validated our set of compositional design patterns against a large body of recent literature."
}

We propose a set of compositional design patterns to describe a large variety of systems that combine statistical techniques from machine learning with symbolic techniques from knowledge representation. As in other areas of computer science (knowledge engineering, software engineering, ontology engineering, process mining and others), such design patterns help to systematize the literature, clarify which combinations of techniques serve which purposes, and encourage re-use of software components. We have validated our set of compositional design patterns against a large body of recent literature.

@InProceedings{ISWC2019-LODanalytics,
  author    = {Luigi Asprino and Wouter Beek and Paolo Ciancarini and Frank van Harmelen and Valentina Presutti},
  title     = {Observing the LOD Cloud using Equivalent Set Graphs:
               the LOD Cloud is mostly flat and sparsely linked},
  booktitle = "Proceedings of the 18th Internation Semantic Web Conference",
  year =      "2019",
  pages =     "xxx-xxx",
  editor    = {xxx},
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "xxx",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2019-LODanalytics.pdf"
}

@InProceedings{ISWC2019-RelationLinker,
  author    = {Jeff Z. Pan and Mei Zhang and Kuldeep Singh and
               Frank van Harmelen  and Jinguang Gu and Zhi Zhang},
  title     = {Entity Enabled Relation Linking},
  booktitle = "Proceedings of the 18th Internation Semantic Web Conference",
  year =      "2019",
  pages =     "xxx-xxx",
  editor    = {xxx},
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "xxx",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2019-RelationLinker.pdf"
}

@InProceedings{WI2019,
  author =       "Floris den Hengst and Mark Hoogendoorn and Frank van Harmelen and Joost Bosman",
  title =        "Reinforcement Learning for Personalized Dialogue Management",
  booktitle =    "IEEE/WIC/ACM International Conference on Web Intelligence 
                  ({WI '19})",
  year =         2019,
  editor =       "xxx",
  number =       "xxx",
  pages =        "xxx",
  publisher =    "IEEE",
  isbn =         "978-1-4503-6934-3/19/10",
  doi =          "http://dx.doi.org/10.1145/3350546.3352501",
  keywords = {Machine Learning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI2019.pdf"
}

@inproceedings{DBLP:conf/kcap/IdrissouZHL19,
  author    = {Al Koudous Idrissou and
               Veruska Zamborlini and
               Frank van Harmelen and
               Chiara Latronico},
  editor    = {Mayank Kejriwal and
               Pedro A. Szekely and
               Rapha{\"{e}}l Troncy},
  title     = {Contextual Entity Disambiguation in Domains with Weak Identity Criteria:
               Disambiguating Golden Age Amsterdamers},
  booktitle = {Proceedings of the 10th International Conference on Knowledge Capture,
               {K-CAP} 2019, Marina Del Rey, CA, USA, November 19-21, 2019},
  pages     = {259--262},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360901.3364440},
  doi       = {10.1145/3360901.3364440},
  timestamp = {Sat, 30 May 2020 20:04:59 +0200},
  biburl    = {https://dblp.org/rec/conf/kcap/IdrissouZHL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KCAP2019.pdf",
}

@inproceedings{ESWC2018,
  title={sameAs.cc: The Closure of 500M owl:sameAs Statements}, 
  author={Wouter Beek and Joe Raad and Jan Wielemaker and Frank van Harmelen},
  booktitle={European Semantic Web Conference, ESWC 2018},
  pages={},
  year={2018},
  publisher={Springer Berlin Heidelberg},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC2018.pdf"
}

@InProceedings{EKAW2018,
  author={Al Koudous Idrissou and Frank van Harmelen and
         Peter Van den Besselaar},
  title = {Network Metrics for Assessing the Quality of Entity Resolution
           Between Multiple Datasets},
  booktitle={21st International Conference on Knowledge Engineering and
             Knowledge Management, {EKAW} 2018},
  editor={Catherine Faron{-}Zucker and Chiara Ghidini and
               Amedeo Napoli and Yannick Toussaint}, 
  year = 2018,          
  volume = 11313,
  isbn={978-3-030-03666-9},
  pages={147--162},
  doi       = {10.1007/978-3-030-03667-6\_10},
  series = {LNCS},
  publisher={Springer International Publishing},
  keywords = {Medical Knowledge Representation},
  urlPaper= "http://www.cs.vu.nl/~frankh/postscript/EKAW2018.pdf"
}

@InProceedings{ISWC2018,
  author    = {Joe Raad and Wouter Beek and Frank van Harmelen and
               Nathalie Pernelle and Fatiha Sa{\"{\i}}s},
  title     = {Detecting Erroneous Identity Links on the Web Using Network Metrics},
  booktitle = "Proceedings of the 17th International Semantic Web Conference",
  year =      "2018",
  pages =     "391--407--68",
  editor    = {Denny Vrandecic and
               Kalina Bontcheva and
               Mari Carmen Su{\'{a}}rez{-}Figueroa and
               Valentina Presutti and
               Irene Celino and
               Marta Sabou and
               Lucie{-}Aim{\'{e}}e Kaffee and
               Elena Simperl},
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "11136",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2018.pdf"
}

@article{AIMed2018,
author = "Kerstin Denecke and Frank van Harmelen",
title = "Recent advances in extracting and processing rich semantics from medical texts",
journal = "Artificial Intelligence in Medicine",
year = "2018",
issn = "0933-3657",
doi = "https://doi.org/10.1016/j.artmed.2018.07.004",
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIMed2018.pdf",
keywords = {Medical Knowledge Representation}
}

 	

@Inbook{Zamborlini2017,
author="Veruska Zamborlini and Rinke Hoekstra and Marcos da Silveira 
        and Cedric Pruski and Annette ten Teije and Frank van Harmelen", 
editor="Ana Fred and Hugo Gamboa",
title="Generalizing the Detection of Clinical Guideline Interactions Enhanced 
       with LOD", 
bookTitle="Biomedical Engineering Systems and Technologies: 9th
                  International Joint Conference, BIOSTEC 2016, Rome,
                  Italy, February 21--23, 2016, Revised Selected Papers",
year=2017,
publisher="Springer International Publishing",
pages="360--386",
isbn="978-3-319-54717-6",
doi="10.1007/978-3-319-54717-6_20",
keywords = {Medical Knowledge Representation},
url="http://dx.doi.org/10.1007/978-3-319-54717-6_20",
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/HealthInf2016Zamborlini-extended.pdf"
}

@inproceedings{ISWC2017-reasoning,
  title={An Empirical Study on How the Distribution of Ontologies Affects 
         Reasoning on the Web}, 
  author={Hamid R. Bazoobandi and Jacopo Urbani and Frank van Harmelen 
          and Henri Bal},
  booktitle={International Semantic Web Conference, ISWC 2017},
  pages={},
  year={2017},
  publisher={Springer Berlin Heidelberg},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2017-reasoning.pdf"
}

@Article{DSJ2017,
  author = 	 {Daniele Dell'Aglio and Emanuele Della Valle
                  and Frank van Harmelen and Abraham Bernstein},
  title = 	 {Stream Reasoning: a Survey and Outlook:
                  A summary of ten years of research and a vision for the
		  next decade},
  journal = 	 {Data Science Journal},
  year = 	 2017,
  volume = 	 1,
  doi =          {http://www.doi.org/10.3233/DS-170006},
  keywords = {Stream Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DataScence2017.pdf"
}

@InProceedings{AIME2017,
  author = 	 {Zhisheng Huang and Jie Yang and Frank van Harmelen and Qing Hu},
  title = 	 {Constructing Disease-Centric Knowledge Graphs: A Case Study
                  for Depression (short Version)},
  booktitle = {Artificial Intelligence in Medicine -
               16th Conference on Artificial Intelligence in Medicine,
	       {AIME}},
  pages =	 {48--52},
  year =	 2017,
  doi       = {https://doi.org/10.1007/978-3-319-59758-4_5},
  volume =	 10259,
  series =	 {LNCS},
  publisher =	 {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME2017.pdf"
}

@article{AIM2017,
  author    = {Veruska Zamborlini and
               Marcos Da Silveira and
               C{\'{e}}dric Pruski and
               Annette ten Teije and
               Edwin Geleijn and
               Marike van der Leeden and
               Martijn Stuiver and
               Frank van Harmelen},
  title     = {Analyzing interactions on combining multiple clinical guidelines},
  journal   = {Artificial Intelligence in Medicine},
  volume    = {81},
  pages     = {78--93},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.artmed.2017.03.012},
  doi       = {10.1016/j.artmed.2017.03.012},
  keywords = {Medical Knowledge Representation},
  urlPaper  = "http://www.cs.vu.nl/~frankh/postscript/AIM2017.pdf"
}

@inproceedings{SemSci2017,
  author    = {Ali Khalili and
               Peter Van den Besselaar and
               Al Koudous Idrissou and
               Klaas Andries de Graaf and
               Frank van Harmelen},
  title     = {Semantically Mapping Science {(SMS)} Platform},
  booktitle = {Proceedings of the First Workshop on Enabling Open Semantic Science
               co-located with 16th International Semantic Web Conference {(ISWC}
               2017), Vienna, Austria, October 21st, 2017, CEUR Workshop Proceedings Vol. 1931},
  pages     = {1--6},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1931/paper-01.pdf},
  timestamp = {Wed, 27 Sep 2017 11:14:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/semweb/KhaliliBIGH17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {Semantic Web},
  urlPaper  = "http://www.cs.vu.nl/~frankh/postscript/SemSci2017.pdf"
}

@InProceedings{KCAP2017,
  author =       "A.K. Idrissou and R. Hoekstra and F. Van Harmelen and
                  A. Khalili and P. Van Den Besselaar",
  title =        "Is my:sameAs the same as your:sameAs? Lenticular Lenses for Context Specific Identity",
  editor =       "O. Corcho and K. Janowicz",
  pages =        "xxx",
  booktitle =    "The Ninth International Conference on Knowledge Capture",
  publisher =    "ACM",
  year =         2017,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KCAP2017.pdf"
}

@InProceedings{HIS2017,
  author = 	 {Zhisheng Juang and Jie Yang and Frank van Harmelen and Qing Hu},
  title = 	 {Constructing Knowledge Graphs of Depression},
  booktitle = {The 6th International Conference on Health Information Science},
  year = 	 2017,
  editor = 	 {S. Klimenko and Y. Zhang},
  keywords = {Medical Knowledge Representation},
  urlPaper  = "http://www.cs.vu.nl/~frankh/postscript/HIS2017.pdf"
}

@inproceedings{LeiEtAl:WHiSe2017,
title = {An Ontology Model for Narrative Image Annotation in the Field of Cultural Heritage},
author = {Xu Lei and Albert Meroño-Peñuela and Huang Zhisheng and Frank van Harmelen},
url = {http://ceur-ws.org/Vol-2014/#paper-13},
booktitle = {Second Workshop on Humanities in the Semantic Web (WHiSe)},
year = 2017,
editor = {Alessandro Adamou and Enrico Daga and Leif Isaksen},
number = 2014,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-2014/},
venue = {Vienna, Austria},
eventdate = {2017-10-22},
keywords = {Semantic Web},
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WHiSe2017.pdf"
}

@InProceedings{HealthInf2016Hu,
  author = 	 {Qing Hu and Zhisheng Huang and Annette ten Teije 
                  and Frank van Harmelen and M. Scott Marshall 
                  and Andre Dekker},
  title =        {A Topic-centric Approach to Detecting New Evidences for
                  Evidence-based Medical Guidelines},
  booktitle = 	 {International Conference on Health Informatics 
                  (HEALTHINF 2016)},   
  year =	 2016,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/HealthInf2016Hu.pdf"
}

@InProceedings{HealthInf2016Zamborlini,
  author = 	 {Veruska Zamborlini and Rinke Hoekstra and Marcos da Silveira and Cedric Pruski and Annette ten Teije and Frank van Harmelen},
  title = 	 {Generalizing the Detection of Internal and External
                  Interactions in Clinical Guidelines},
  booktitle = 	 {International Conference on Health Informatics (HEALTHINF 2016)},
  year =	 2016,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/HealthInf2016Zamborlini.pdf"
}

@Article{IEEE-IC2016,
  author = 	 "Wouter Beek and Laurens Rietveld and Stefan Schlobach and 
                  Frank van Harmelen",
  title = 	 "LOD Laundromat: why the Semantic Web needs centralization
                  (even if we don't like it)",
  journal =	 "IEEE Internet Computing",
  year =	 2016,
  volume =	 "20",
  number =	 "2",
  pages =	 "78--81",
  month =	 "March/April",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IC2016.pdf"
}

@InProceedings{ESWC16,
  author = 	 {Wouter Beek and Stefan Schlobach and Frank van Harmelen},
  title = 	 {A Contextualised Semantics for owl:sameAs},
  booktitle =	 {Proceedings of the 13th European Semantic Web 
                  Conference},
  pages =	 "405--419",
  year =	 2016,
  volume =	 9678,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC2016.pdf"
}

@InProceedings{ESWC16-LDR,
  author = 	 {Ali Khalili and Antonis Loizou and Frank van Harmelen},
  title = 	 {Adaptive Linked Data-driven Web Components:
                  Building Flexible and Reusable Semantic Web Interfaces},
  booktitle =	 {Proceedings of the 13th European Semantic Web 
                  Conference},
  pages =	 "667-692",
  year =	 2016,
  volume =	 9678,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC2016-LDR.pdf"
}

@Article{SWJ2016,
  author = 	 {Veruska Zamborlini and Rinke Hoekstraa and 
                  Marcos Da Silveira and Cedric Pruski and 
                  Annette ten Teije and Frank van Harmelen},
  title = 	 {Inferring Recommendation Interactions in Clinical Guidelines},
  journal = 	 {Semantic Web Journal},
  year = 	 2016,
  volume = 	 7,
  pages = 	 {421-446},
  doi =          {http://www.doi.org/10.3233/SW-150212},
  keywords = {Medical Knowledge Representation},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWJ2016.pdf"
}

@InProceedings{KR4HC,
  author =       "Veruska Zamborlini and Qing Hu and Zhisheng Huang and 
                  Marcos da Silveira and Cedric Pruski and 
                  Annette ten Teije and Frank van Harmelen",
  title =        "Knowledge-driven Paper Retrieval to support updating 
                  of Clinical Guidelines: A use case on PubMed", 
  booktitle =    "Proceedings of the workshop on Knowledge Representation for 
                  Healthcare",
  editor =       "Richard Lenz and Manfred Reichert and David Riano",
  publisher =    "Springer Verlag",
  series    =    "LNCS",
  year =         2016,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC2016.pdf",
  abstract = "Clinical Guidelines are important knowledge resources 
for medical decision making. They provide clinical recommendations based
on a collection of research findings with respect to a specific disease.
Since, new findings are regularly published, CGs are also expected to be
regularly updated. However, selecting and analysing medical publications
require a huge human efforts, even when these publications are mostly
regrouped and into repositories (e.g., MEDLINE database) and acces-
sible via a search engine (e.g PubMed). Automatically detecting those
research findings from a medical search engine such as PubMed supports
the guideline updating process. A simple search method is to select the
medical terms that appear in the conclusions of the guideline to gener-
ate a query to search for new evidences. However, some challenges rise in
this method: how to select the important terms, besides how to consider
background knowledge that may be missing or not explicitly stated in
those conclusions. In this paper we apply a knowledge model that for-
mally describes elements such as actions and their effects to investigate
(i) if it favors selecting the medical terms to compose queries and (ii) if
a search enhanced with background knowledge can provide better result
than other methods. This work explores a knowledge-driven approach
for detecting new evidences relevant for the clinical guideline update
process. Based on the outcomes of two experiments, we found that this
approach can improve the recall by retrieving more relevant evidences
than previous methods."
}

Clinical Guidelines are important knowledge resources for medical decision making. They provide clinical recommendations based on a collection of research findings with respect to a specific disease. Since, new findings are regularly published, CGs are also expected to be regularly updated. However, selecting and analysing medical publications require a huge human efforts, even when these publications are mostly regrouped and into repositories (e.g., MEDLINE database) and acces- sible via a search engine (e.g PubMed). Automatically detecting those research findings from a medical search engine such as PubMed supports the guideline updating process. A simple search method is to select the medical terms that appear in the conclusions of the guideline to gener- ate a query to search for new evidences. However, some challenges rise in this method: how to select the important terms, besides how to consider background knowledge that may be missing or not explicitly stated in those conclusions. In this paper we apply a knowledge model that for- mally describes elements such as actions and their effects to investigate (i) if it favors selecting the medical terms to compose queries and (ii) if a search enhanced with background knowledge can provide better result than other methods. This work explores a knowledge-driven approach for detecting new evidences relevant for the clinical guideline update process. Based on the outcomes of two experiments, we found that this approach can improve the recall by retrieving more relevant evidences than previous methods.

@inproceedings{ISWC2016,
  title={Are Names Meaningful? Quantifying Social Meaning on the Semantic Web},
  author={Steven de Rooij and Wouter Beek and Peter Bloem and 
          Frank van Harmelen, and Stefan Schlobach},
  booktitle={International Semantic Web Conference, ISWC 2016},
  pages={},
  year={2016},
  publisher={Springer Berlin Heidelberg},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2016.pdf",
  keywords = {Semantic Web},
  abstract = "According to its model-theoretic semantics, Semantic Web
IRIs are individual constants or predicate letters whose names are cho-
sen arbitrarily and carry no formal meaning. At the same time it is
a well-known aspect of Semantic Web pragmatics that IRIs are often
constructed mnemonically, in order to be meaningful to a human interpreter. 
The latter has traditionally been termed 'social meaning', a
concept that has been discussed but not yet quantitatively studied by
the Semantic Web community. In this paper we use measures of mutual 
information content and methods from statistical model learning to
quantify the meaning that is (at least) encoded in Semantic Web names.
We implement the approach and evaluate it over hundreds of thousands
of datasets in order to illustrate its efficacy. Our experiments confirm
that many Semantic Web names are indeed meaningful and, more interestingly, 
we provide a quantitative lower bound on how much meaning is
encoded in names on a per-dataset basis. To our knowledge, this is the
first paper about the interaction between social and formal meaning, as
well as the first paper that uses statistical model learning as a method to
quantify meaning in the Semantic Web context. These insights are useful
for the design of a new generation of Semantic Web tools that take such
social meaning into account."
}

According to its model-theoretic semantics, Semantic Web IRIs are individual constants or predicate letters whose names are cho- sen arbitrarily and carry no formal meaning. At the same time it is a well-known aspect of Semantic Web pragmatics that IRIs are often constructed mnemonically, in order to be meaningful to a human interpreter. The latter has traditionally been termed 'social meaning', a concept that has been discussed but not yet quantitatively studied by the Semantic Web community. In this paper we use measures of mutual information content and methods from statistical model learning to quantify the meaning that is (at least) encoded in Semantic Web names. We implement the approach and evaluate it over hundreds of thousands of datasets in order to illustrate its efficacy. Our experiments confirm that many Semantic Web names are indeed meaningful and, more interestingly, we provide a quantitative lower bound on how much meaning is encoded in names on a per-dataset basis. To our knowledge, this is the first paper about the interaction between social and formal meaning, as well as the first paper that uses statistical model learning as a method to quantify meaning in the Semantic Web context. These insights are useful for the design of a new generation of Semantic Web tools that take such social meaning into account.

@Article{SWJ2015,
  author = {Albert Meroo-Peuela and Ashkan Ashkpour and 
            Marieke van Erp and Kees Mandemakers and Leen Breure and
            Andrea Scharnhorst and Stefan Schlobach and Frank van Harmelen},
  title =  {Semantic Technologies for Historical Research: A Survey},
  journal = 	 {Semantic Web Journal},
  year = 	 2015,
  volume =	 6,
  number =	 6,
  pages =	 {539-564},
  keywords = {Semantic Web},
  url = "http://www.cs.vu.nl/~frankh/postscript/SWJ2014.pdf"
}

@Article{AIMag2014,
  author = {Krzysztof Janowicz and Pascal Hitzler and Jim Hendler and 
            Frank van Harmelen},
  title =  {Why the Data Train Needs Semantic Rails},
  journal = 	 {AI Magazine},
  year = 	 2015,
  volume =	 36,
  number =	 "5-14",
  keywords = {Semantic Web},
  doi =    "http://dx.doi.org/10.1609/aimag.v36i1.2560",
  url = "http://www.cs.vu.nl/~frankh/postscript/AIMag2015.pdf"
}

@InProceedings{AIME2015-GuidelineInteraction,
  author = 	 {V. Zamborlini and M. da Silveira and C. Pruski and 
                  A. ten Teije, and F. van Harmelen},
  title = 	 {Analyzing Recommendations Interactions in Clinical 
                  Guidelines},
  booktitle =    {Proceedings of Artificial Intelligence in Medicine, 
                  {AIME} 2015},
  pages =	 {317-326},
  year =	 2015,
  volume =	 9105,
  series =	 {LNCS},
  publisher =	 {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME15-GuidelineInteraction.pdf"
}

@InProceedings{AIME2015-GuidelineUpdate,
  author = 	 {Q. Hu and Zh. Huang and A. ten Teije and F. van Harmelen},
  title = 	 {Detecting New Evidence for Evidence-based
                  Guidelines Using a Semantic Distance Method},
  booktitle =    {Proceedings of Artificial Intelligence in Medicine, 
                  {AIME} 2015},
  pages =	 {307-316},
  year =	 2015,
  volume =	 9105,
  series =	 {LNCS},
  publisher =	 {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME15-GuidelineUpdate.pdf"
}

@InProceedings{ESWC15,
  author = 	 {H. BazooBandi and St. de Rooij and J. Urbani and 
                  A. ten Teije and F. van Harmelen and H. Bal},
  title = 	 {A Compact In-Memory Dictionary for RDF data},
  booktitle =	 {Proceedings of the twelfth European Semantic Web 
                  Conference},
  pages =	 "205-220",
  year =	 2015,
  volume =	 9088,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC15.pdf"
}

@Article{JBI15,
  author = 	 {K. Milian and R. Hoekstra and A. Bucur and A. ten Teije and 
                  F. van Harmelen and J. Paulissen},
  title = 	 {Enhancing Reuse of Structured Eligibility Criteria 
                  and Supporting their Relaxation},
  journal = 	 {Journal of Biomedical Informatics},
  year = 	 2015,
  volume = 	 56,
  pages =        {205-219},
  doi =          "DOI:10.1016/j.jbi.2015.05.005",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JBI15.pdf"
}

@InProceedings{AIME15-KR4HC,
  author =       "Zhisheng Huang and Qing Hu and Annette Ten Teije and 
                  Frank Van Harmelen",
  title =        "Identifying Evidence Quality for Updating Evidence-based 
                  Medical Guidelines",
  booktitle =    "Proceedings of the workshop on Knowledge Representation for 
                  Healthcare",
  editor =       "Richard Lenz and Silvia Miksch and Mor Peleg and 
                  Manfred Reichert and David Riano and Annette ten Teije",
  publisher =    "Springer Verlag",
  series    =    "LNCS",
  volume =       "9485",
  year =         2015,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC2015.pdf"
}

@article{JWS2014,
  author = {Alessandro Margara and Jacopo Urbani and Frank van Harmelen 
            and Henri Bal},
  title = {Streaming the Web: Reasoning over Dynamic Data},
  journal = {Journal of Web Semantics},
  volume = 25,
  pages = {24-44},
  year = 2014,
  publisher = {Elsevier},
  abstract = {In the last few years a new research area, called stream
    reasoning, emerged to bridge the gap between reasoning and stream
    processing. While current reasoning approaches are designed to work on
    mainly static data, theWeb is, on the other hand, extremely dynamic:
    information is frequently changed and updated, and new data is
    continuously generated from a huge number of sources, often at high
    rate. In other words, fresh information is constantly made available
    in the form of streams of new data and updates. Despite some promising
    investigations in the area, stream reasoning is still in its infancy,
    both from the perspective of models and theories development, and from
    the perspective of systems and tools design and implementation. The
    aim of this paper is threefold: (i) we identify the requirements
    coming from dierent application scenarios, and we isolate the problems
    they pose; (ii) we survey existing approaches and proposals in the
    area of stream reasoning, highlighting their strengthsand limitations;
    (iii) we draw a research agenda to guide the future research and
    development of stream reasoning. In doing so, we also analyze related
    research fields to extract algorithms, models, techniques, and
    solutions that could be useful in the area of stream reasoning.}, 
  issn = {1570-8268}, 
  keywords = {Stream Reasoning},
  doi = {http://dx.doi.org/10.1016/j.websem.2014.02.001},
  url = "http://www.cs.vu.nl/~frankh/postscript/JWS2014.pdf"
}

In the last few years a new research area, called stream reasoning, emerged to bridge the gap between reasoning and stream processing. While current reasoning approaches are designed to work on mainly static data, theWeb is, on the other hand, extremely dynamic: information is frequently changed and updated, and new data is continuously generated from a huge number of sources, often at high rate. In other words, fresh information is constantly made available in the form of streams of new data and updates. Despite some promising investigations in the area, stream reasoning is still in its infancy, both from the perspective of models and theories development, and from the perspective of systems and tools design and implementation. The aim of this paper is threefold: (i) we identify the requirements coming from dierent application scenarios, and we isolate the problems they pose; (ii) we survey existing approaches and proposals in the area of stream reasoning, highlighting their strengthsand limitations; (iii) we draw a research agenda to guide the future research and development of stream reasoning. In doing so, we also analyze related research fields to extract algorithms, models, techniques, and solutions that could be useful in the area of stream reasoning.

@InProceedings{KR4HC2014,
  author = 	 {Veruska Zamborlini and Marcos da Silveira and Cedric Pruski 
                  and Annette ten Teije and Frank van Harmelen},
  title = 	 {Towards a Conceptual Model for Enhancing Reasoning about 
                  Clinical Guidelines; A case-study on Comorbidity},
  booktitle = 	 {Knowledge Representation for Health Care, 
                  6th International Workshop, {KR4HC} 2014},
  pages =	 {29-44},
  year =	 2014,
  volume =	 8903, 
  series =	 {LNCS},
  publisher =    {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC2014.pdf"
}

@InProceedings{KR4HC2014-JournalFiltering,
  author = 	 {Qing Hu and Zhisheng Huang and Annette ten Teije and 
                  Frank van Harmelen}, 
  title = 	 {Detecting New Evidences for Evidence-Based Medical 
                  Guidelines with Journal Filtering},
  booktitle = 	 {Knowledge Representation for Health Care, 
                  6th International Workshop, {KR4HC} 2014},
  pages =	 {120-132},
  year =	 2014,
  volume =	 10096, 
  series =	 {LNCS},
  publisher =    {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC2014-JournalFiltering.pdf"
}

@InProceedings{CSWS2014,
  author = 	 {Qing Hu and Zhisheng Huang and Frank van Harmelen and 
                  Annette ten Teije and Jinguang Gu},
  title = 	 {Evidence-based Clinical Guidelines in SemanticCT},
  booktitle = {Proceedings of 8th China Semantic Web Symposium 
                  and 3rd Web Science Conference (CSWS2014)},
  year = 	 2014,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CSWS2014.pdf"
}

@InProceedings{EKAW2014,
  author={Veruska Zamborlini and Rinke Hoekstra and Marcos da Silveira  
         and Cedric Pruski and Annette ten Teije  and Frank van Harmelen},
  title={A Conceptual Model for Detecting Interactions among 
         Medical Recommendations in Clinical Guidelines},
  booktitle={19th International Conference on Knowledge Engineering and
             Knowledge Management, {EKAW} 2014},
  editor={Krzysztof Janowicz and Stefan Schlobach 
         and Patrick Lambrix and Eero Hyvonen},                  
  year = 2014,          
  volume = 8876,
  isbn={978-3-319-13703-2},
  pages={591-606},
  doi={10.1007/978-3-319-13704-9\_44},  
  series = {LNCS},
  publisher={Springer International Publishing},
  keywords = {Medical Knowledge Representation},
  urlPaper= "http://www.cs.vu.nl/~frankh/postscript/EKAW14.pdf"
}

@inproceedings{HealthInf2014,
  author    = {Zhisheng Huang and
               Frank van Harmelen and
               Annette ten Teije and
               Andre Dekker},
  title     = {Feasibility Estimation for Clinical Trials},
  booktitle = {{HEALTHINF} 2014 - Proceedings of the International
                  Conference on Health Informatics, ESEO, Angers, Loire
                  Valley, France, 3-6 March, 2014},
  pages     = {68--77},
  year      = {2014},
  doi       = {10.5220/0004795500680077},
  url       = {http://dx.doi.org/10.5220/0004795500680077},
  keywords = {Medical Knowledge Representation},
  urlPaper  = "http://www.cs.vu.nl/~frankh/postscript/HealthInf2014.pdf"
}

@inproceedings{KR4HC2014-semanticGuidelines,
  author    = {Zhisheng Huang and
               Annette ten Teije and
               Frank van Harmelen and
               Salah Ait-Mokhtar},
  title     = {Semantic Representation of Evidence-Based Clinical Guidelines},
  booktitle = {Knowledge Representation for Health Care - 6th
                  International Workshop, {KR4HC} 2014},
  pages     = {78--94},
  year      = {2014},
  doi       = {10.1007/978-3-319-13281-5_6},
  keywords = {Semantic Web, Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC2014-semanticGuidelines.pdf"
}

@proceedings{DBLP:conf/rweb/2013,
  editor    = {Sebastian Rudolph and
               Georg Gottlob and
               Ian Horrocks and
               Frank van Harmelen},
  title     = {Reasoning Web. Semantic Technologies for Intelligent Data Access -
               9th International Summer School 2013, Mannheim, Germany, July 30 -
               August 2, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8067},
  publisher = {Springer},
  year      = {2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-39784-4},
  doi       = {10.1007/978-3-642-39784-4},
  keywords = {Semantic Web},
  isbn      = {978-3-642-39783-7},
}

@inproceedings{urbani2013dynamite,
  title={DynamiTE: Parallel Materialization of Dynamic RDF Data},
  author={Urbani, Jacopo and Margara, Alessandro and Jacobs, Ceriel and van Harmelen, Frank and Bal, Henri},
  booktitle={The Semantic Web--ISWC 2013},
  pages={657--672},
  year={2013},
  publisher={Springer Berlin Heidelberg},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2013.pdf"
}

@InProceedings{AIME2013-APDG,
  author = 	 {Huang, Zhisheng and van Harmelen, Frank and ten Teije,
                  Annette and Dentler, Kathrin},
  title = 	 {Knowledge-based Patient Data Generation},
  booktitle = {Proceedings of the 14th Conference on Artificial
                  Intelligence in Medicine, AIME 2013},
  year = 	 2013,  
  editor = 	 {Niels Peek, Roque Marín Morales, Mor Peleg},
  volume = 	 7885,
  series = 	 {LNCS},
  pages = 	 {38-47},
  month = 	 {May},
  address = 	 {Murcia, Spain},
  publisher = {Springer},
  doi = {10.1007/978-3-642-38326-7_7},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC-2013-APDG.pdf"
}

@InProceedings{AAAI-Fall-2013,
  author = 	 {Wouter Beek and Stefan Schlobach and Frank van Harmelen},
  title = 	 {Rough Set Semantics for Identity on the Web},
  booktitle = 	 {AAAI Fall Symposium Semantics for Big Data},
  year =	 2013,
  pages =        {10-13},
  editor =	 {F. van Harmelen and J. Hendler and P. Hitzler and K. Janowicz},
  organization = {AAAI},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AAAI-Fall-Symposium-2013.pdf"
}

@InProceedings{AIME2013-rules,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {Rule-based Formalization of Eligibility Criteria for Clinical Trials},
  booktitle =    {Proceedings of Artificial Intelligence in Medicine, AIME 2013},
  pages =	 {38-47},
  year =	 2013,
  editor =	 {N. Peek and R. Morales and M. Peleg},
  volume =	 7885,
  series =	 {LNCS},
  publisher =	 {Springer Verlag},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME2013-EligibilityCriteria.pdf"
}

@InProceedings{BNACI2013,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {A Semantically-Enabled System for Clinical Trials},
  booktitle = 	 {25th Benelux Conference on Artificial Intelligence},
  year =	 2013,
  editor =	 {K. Hindriks and M. de Weerdt and B. van Riemsdijk and M. Warnier},
  month =	 {October},
  organization = {BNVKI},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/BNAIC2013-SemanticCT.pdf"
}

@InProceedings{HealthInf2013,
  author = 	 {Krystina Milian and Anca Bucur and Frank van Harmelen and Annette ten Teije},
  title = 	 {Identifying most relevant concepts to describe clinical trial eligibility criteria},
  booktitle = 	 {International Conference on Health Informatics (HEALTHINF 2013)},
  year =	 2013,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/HEALTHINF_2013.pdf"
}

@Article{SWJ2013,
  author = 	 {Jacopo Urbani and Robert Piro and Frank van Harmelen and Henri Bal},
  title = 	 {Hybrid reasoning on OWL RL},
  journal = 	 {Semantic Web Journal},
  volume = 5,
  number = 6, 
  pages = {423-447},
  year = 	 2013,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWJ2013.pdf"
}

@InProceedings{KR4HC-SemanticCT-2013,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {SemanticCT: A Semantically-Enabled System for Clinical Trials},
  booktitle = 	 {Process Support and Knowledge Representation in Health Care},
  pages =	 {11-25},
  year =	 2013,
  volume =	 8268,
  series =	 {LNCS},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC-2013-SemanticCT.pdf"
}

@Article{JWS11,
  author = 	 "Jacopo Urbani and Spyros Kotoulas and Jason Maassen 
                  and Frank van Harmelen and Henri Bal",
  title = 	 "WebPIE: A Web-scale parallel inference engine using MapReduce",
  journal = 	 "Journal of Web Semantics",
  year = 	 2012,
  volume =	 10,
  pages  =       "59-75",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS12.pdf",
  note =     "http://dx.doi.org/10.1016/j.websem.2011.05.004"
}

@book{DBLP:books/daglib/0036180,
  author    = {Grigoris Antoniou and
               Paul T. Groth and
               Frank van Harmelen and
               Rinke Hoekstra},
  title     = {A Semantic Web Primer, 3rd Edition},
  publisher = {{MIT} Press},
  year      = {2012},
  keywords = {Semantic Web},
  isbn      = {978-0-262-01828-9},
}

@article{van2012theoretical,
  title={Theoretical and technological building blocks for an innovation accelerator},
  author={van Harmelen, Frank and Kampis, George and B{\"o}rner, Katy and van den Besselaar, Peter and Schultes, Erik and Goble, Carole and Groth, Paul and Mons, Barend and Anderson, Stuart and Decker, Stefan and others},
  journal={The European Physical Journal Special Topics},
  volume={214},
  number={1},
  pages={183--214},
  year={2012},
  publisher={Springer-Verlag},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EPJST2012.pdf"
}

@article{milian2012building,
  title={Building a Library of Eligibility Criteria to Support Design of Clinical Trials},
  author={Milian, Krystyna and Bucur, Anca and van Harmelen, Frank},
  journal={Knowledge Engineering and Knowledge Management},
  pages={327--336},
  year={2012},
  publisher={Springer Berlin/Heidelberg},
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW2012.pdf"
}

@inbook{DBLP:reference/sp/KotoulasHW11,
  author    = {Spyros Kotoulas and
               Frank van Harmelen and
               Jesse Weaver},
  title     = {{KR} and Reasoning on the Semantic Web: Web-Scale Reasoning},
  booktitle = {Handbook of Semantic Web Technologies},
  pages     = {441--466},
  year      = {2011},
  keywords = {Semantic Web},
  crossref  = {DBLP:reference/sp/2011semweb},
  url       = {http://dx.doi.org/10.1007/978-3-540-92913-0_11},
  doi       = {10.1007/978-3-540-92913-0_11},
}

@InProceedings{ISWC11,
  author =       {Jacopo Urbani and Frank van Harmelen and 
                  Stefan Schlobach and Henri Bal},
  title =        {QueryPIE: Backward reasoning for OWL Horst over very large
                  knowledge bases}, 
  booktitle =    {Proceedings of the Tenth International Semantic Web
                  Conference},
  pages =        "730-745",
  year =         2011,
  volume =       5823,
  series =       {LNCS},
  publisher =    {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC11.pdf"
}

@InProceedings{IJCAI11,
  author =       "A. Buikstra and H.J. Neth and L. Schooler and 
                  A. ten Teije and F. van Harmelen",
  title =        "Ranking query results from Linked Open Data 
                  using a simple cognitive heuristic",
  editor =       "F. McNeill",
  booktitle =    "Proceedings of the IJCAI'11 Workshop on
                  Discovering Meaning on the Go in Large and 
                  Heterogeneous Data",
  year =         2011,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI11-WS.pdf"
}

@InProceedings{11KR4HC,
  author = "Krystyna Milian, Annette ten Teije, Anca Bucur
            and Frank van Harmelen", 
  title = "Patterns of Clinical Trial Eligibility Criteria", 
  booktitle = "Proceedings of the AIME'11 workshop on Knowledge 
               Representation for Healthcare (KR4HC11)", 
  year = 2011,
  publisher = Springer,
  series = "lecture notes AI",
  volume = "6924",
  pages = "145-157",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC09-bookversion-2011.pdf"
}

@inproceedings{DBLP:conf/aswc/FangHH11,
  author    = {Jun Fang and
               Zhisheng Huang and
               Frank van Harmelen},
  title     = {A Method of Contrastive Reasoning with Inconsistent Ontologies},
  booktitle = {Joint International Semantic Technology Conference},
  year      = {2011},
  pages     = {1-16},
  ee        = {http://dx.doi.org/10.1007/978-3-642-29923-0_1},
  crossref  = {DBLP:conf/aswc/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JIST2011.pdf"
}

@inproceedings{DBLP:conf/skg/WangHZZH11,
  author    = {Yan Wang and
               Zhisheng Huang and
               Yi Zeng and
               Ning Zhong and
               Frank van Harmelen},
  title     = {Interleaving Reasoning and Selection with Knowledge Summarization},
  booktitle = {Seventh International Conference on Semantics, Knowledge and Grids},
  year      = {2011},
  pages     = {122-129},
  doi       = {http://doi.ieeecomputersociety.org/10.1109/SKG.2011.42},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SKG2011.pdf"
}

@inproceedings{FangHH11,
  author    = {Jun Fang and
               Zhisheng Huang and
               Frank van Harmelen},
  title     = {Contrastive Reasoning with Inconsistent Ontologies},
  booktitle = {Web Intelligence},
  year      = {2011},
  pages     = {191-194},
  keywords = {Semantic Web},
  doi        = {http://doi.ieeecomputersociety.org/10.1109/WI-IAT.2011.59},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI2011.pdf"
}

@article{DBLP:journals/kais/ZengZWQHZYH11,
  author    = {Yi Zeng and
               Ning Zhong and
               Yan Wang and
               Yulin Qin and
               Zhisheng Huang and
               Haiyan Zhou and
               Yiyu Yao and
               Frank van Harmelen},
  title     = {User-centric query refinement and processing using granularity-based
               strategies},
  journal   = {Knowledge and Information Systems},
  volume    = {27},
  number    = {3},
  year      = {2011},
  pages     = {419-450},
  doi       = {http://dx.doi.org/10.1007/s10115-010-0298-8},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KIS2011.pdf"
}

@proceedings{DBLP:conf/semweb/2010iwest,
  editor    = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
               Fabio Ciravegna and
               Frank van Harmelen and
               Jeff Hefflin},
  title     = {Proceedings of the International Workshop on Evaluation of Semantic
               Technologies {(IWEST} 2010), Shanghai, China, November 8, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {666},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-666},
  urn       = {urn:nbn:de:0074-666-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/semweb/2010iwest},
  keywords = {Semantic Web},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@InProceedings{ESWC10,
  author = 	 {Jacopo Urbani and Spyros Kotoulas and Jason Maassen
                  and Frank van Harmelen and Henri Bal},
  title = 	 {OWL reasoning with WebPIE: calculating the closure of 100 billion triples},
  booktitle =	 {Proceedings of the Seventh European Semantic Web 
                  Conference},
  pages =	 "213-227",
  year =	 2010,
  volume =	 6088,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC10.pdf"
}

@inproceedings{ISWC10,
  author = {Christophe Gueret and Paul Groth and Frank van Harmelen and Stefan Schlobach},
  title = {Finding the Achilles Heel of the Web of Data: using network analysis for link-recommendation},
  booktitle = {Proceedings of the Int. Semantic Web Conf 2010},
  year = {2010},
  volume =	 {6496},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC10.pdf"
}

@InProceedings{JURIX10,
  author     = "Rinke Hoekstra and Arno Lodder and Frank van Harmelen",  
  title      = "Case-frames as contextual mappings to case-law in BestPortal",
  booktitle  = "Proceedings of the 23rd International JURIX conference",  
  editor     = "Radboud Winkels",  
  year       = "2010",  
  abstract   =
"This paper introduces <em>case frames</em> as a way to provide more
meaningful structure to vocabulary mappings used to bridge the gap
between laymen and legal descriptions of court proceedings. Case frames
both reduce the ambiguity of queries and improve the ability of users to
formulate good quality queries. We extend the BestMap ontology with a
formalisation of case frame based mappings in OWL 2, present a new
version of BestPortal, and show how case frames impact query results
compared to simple contextual mappings and a direct fulltext search.",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX10.pdf"
}

This paper introduces case frames as a way to provide more meaningful structure to vocabulary mappings used to bridge the gap between laymen and legal descriptions of court proceedings. Case frames both reduce the ambiguity of queries and improve the ability of users to formulate good quality queries. We extend the BestMap ontology with a formalisation of case frame based mappings in OWL 2, present a new version of BestPortal, and show how case frames impact query results compared to simple contextual mappings and a direct fulltext search.

@Article{KAIS10,
  author = 	 "Yi Zeng and Ning Zhong and Yan Wang and Yulin Qin and 
                  Zhisheng Huang and Haiyan Zhou and Yiyu Yao and 
                  Frank van Harmelen",
  title = 	 "User-centric query refinement and processing using granularity-based strategies",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2010,
  URL =          "http://dx.doi.org/10.1007/s10115-010-0298-8",
   volume =	 "27",
  number =	 "3",
  pages =        "1-32",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS10.pdf"
}

@inproceedings{WWW10,
 author =     {Spyros Kotoulas and Eyal Oren and Frank van Harmelen},
 title =      {Mind the data skew: distributed inferencing by speeddating in elastic regions},
 booktitle =  {WWW '10: Proceedings of the 19th international conference
               on World wide web},
 year =       {2010},
 isbn =	      {978-1-60558-799-8},
 pages =      {531--540},
 location =   {Raleigh, North Carolina, USA},
 doi =        {http://doi.acm.org/10.1145/1772690.1772745},
 publisher =  {ACM},
 address =    {New York, NY, USA},
  keywords = {Semantic Web},
 urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW10.pdf"
}

@InProceedings{AIME09-KR4HC,
  author =       "K. Milian and Zh. Aleksovski and R. Vdovjak and 
                  A. ten Teije and F. van Harmelen",
  title =        "Identifying disease-centric subdomains in very large medical ontologies. Or: finding 2500 out of 300.000",
  booktitle =    "Proceedings of the AIME'09 workshop on Knowledge
                  Representation for Healthcare",
  editor =       "D. Riano and A. ten Teije and M. Miksch and M. Peleg",
  publisher =    "Springer Verlag",
  series    =    "LNCS",
  volume =       "5943",
  year =         2009,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME09-KR4HC.pdf"
}

@InProceedings{BPM08-WS,
  author = 	 "G. Tagni and A. ten Teije and F. van Harmelen",
  title = 	 "Reasoning about Repairability of Workflows at Design Time",
  booktitle =	 {BPM 2008 Workshops; 1st International Workshop on QoS in Self-healing Web
                  Services {(QSWS-08)}, 
                  in conjunction with BPM 2008 6th International
                  Conference on Business Process Management (BMP 2008)},
  editor =       {D. Ardagna et al.},
  pages =	 {440-452},
  year =	 2009,
  series =       "LNBIP",
  volume =       17,
  editor =       "Springer Verlag",
  keywords = {Web-services},
  urlPaper =     "http://www.cs.vu.nl/~frankh/postscript/BPM08-WS.pdf"
}

@Article{IEEE-IS09,
  author = 	 "Emanuele Della Valle and Stefano Ceri and
                  Frank van Harmelen and Dieter Fensel",
  title = 	 "It's a Streaming World! Reasoning upon Rapidly Changing Information",
  journal =	 "IEEE Intelligent Systems",
  year =	 2009,
  volume =	 "24",
  number =	 "6",
  pages =        "83--89",
  keywords = {Stream Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS09.pdf"
}

@proceedings{DBLP:conf/dagstuhl/2009P9161,
  editor    = {S{\'{e}}bastien Musti{\`{e}}re and
               Monika Sester and
               Frank van Harmelen and
               Peter van Oosterom},
  title     = {Generalization of spatial information, 13.04. - 17.04.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09161},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09161/},
}

@inproceedings{ISWC09,
  author = {Jacopo Urbani and Spyros Kotoulas and Eyal Oren and Frank van Harmelen},
  title = {Scalable Distributed Reasoning using MapReduce},
  booktitle = {Proceedings of the ISWC '09},
  year = {2009},
  volume =	 {5823},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC09.pdf"
}

@article{JWS09,
  title = "Marvin: Distributed reasoning over large-scale Semantic Web data",
  author = "Eyal Oren and Spyros Kotoulas and George Anadiotis and 
            Ronny Siebes and Annette ten Teije and Frank van Harmelen",
  journal = "Journal of Web Semantics",
  volume = "7",
  number = "4",
  pages = "305-316",
  year = "2009",
  issn = "1570-8268",
  doi = "DOI: 10.1016/j.websem.2009.09.002",
  url =
  "http://www.sciencedirect.com/science/article/B758F-4X9FGTT-4/2/e6f908f9ff6e3c26bbaca616fe7597ad",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS09.pdf"
}

@InProceedings{KCAP09,
  author =       "F. van Harmelen and A. ten Teije and H. Wache",
  title =        "Knowledge Engineering rediscovered: Towards Reasoning Patterns for the Semantic Web",
  editor =       "N. Noy",
  pages =        "81-88",
  booktitle =    "The Fifth International Conference on Knowledge Capture",
  publisher =    "ACM",
  year =         2009,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KCAP09.pdf"
}

@InBook{SEKTBook09,
  author =	 {S. Bloehdorn and P. Haase and Zh. Huang and Y. Sure
                  and J. Volker and F. van Harmelen and R. Studer},
  editor =	 {J. Davies and M. Grobelnik and D. Mladenic},
  title = 	 {Semantic Knowledge Management},
  chapter = 	 {Ontology Management},
  pages =        {3-20},
  publisher = 	 {Springer},
  ISBN =         {ISBN 978-3-540-88844-4},
  year = 	 2009,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SEKTBook09.pdf"
}

@InProceedings{SWWS09,
  author =       "R. Stegers and F. van Harmelen and A. ten Teije ",
  title =        "The Free Speech Engine: Conversational web service compatibility for free",
  booktitle =    "International Conference on Semantic Web and Web
                  Services {SWWS'09}",
  year =         2009,
  pages =        "53-59",
  keywords = {Web-services},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWWS09.pdf"
}

@inproceedings{WebScience09,
  author = {Eyal Oren and Spyros Kotoulas and George Anadiotis and Ronny Siebes and
            Annette ten Teije and and Frank van Harmelen},
  title = {MARVIN: A platform for large-scale analysis of Semantic Web data},
  booktitle = {Proceedings of the WebScience '09},
  year = {2009},
  publisher =	 {Society On-Line},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WebScience09.pdf"
}

@inproceedings{DellaValle2009,
  author = {{Della Valle}, Emanuele and Ceri, Stefano and Braga, Daniele and Celino, Irene and Fensel, Dieter and van Harmelen, Frank},
  booktitle = {Proceedings of the 1st International Workshop on Stream Reasoning SR2009 Heraklion Crete Greece},
  pages = {1--9},
  title = {{Research Chapters in the area of Stream Reasoning}},
  year = {2009},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SR2009.pdf",
  keywords = {Stream Reasoning}
}

@Article{AIM08,
  author = 	 "P. Groot and A. Hommersom and P. Lucas and R.-J. Merk 
                 and A. ten Teije and F. van Harmelen and R. Serban",
  title = 	 "Using Model Checking for Critiquing based on Clinical Guidelines",
  journal =	 "AI in Medicine",
  year =	 2008,
  volume =       46,
  number =       1,
  pages =	 "19-36",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf"
}

@inbook{CMoL08-BEST,
  author =       "E. Uijttenbroek and A. Lodder and M. Klein and  
                  G. Wildeboer and W. van Steenbergen and R. Sie and  
		  P. Huygen and F. van Harmelen",
  title =        "Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project",
  editor =       "P. Casanovas and G. Sartor and N. Casellas and R. Rubino",
  booktitle =    "Computable Models of the Law",
  publisher =    "Springer-Verlag",
  series =       "LNAI",
  pages =        "291-311",
  year =         2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CMoL08-BEST.pdf"
}

@InProceedings{CMoL08-Dynamics,
  author =       "Zh. Huang and S. Schlobach and F. van Harmelen and 
                  N. Casellas and P. Casanovas",
  title =        "Dynamic Aspects of OPJK Legal Ontology",
  editor =       "P. Casanovas and G. Sartor and N. Casellas and R. Rubino",
  booktitle =    "Computable Models of the Law",
  publisher =    "Springer-Verlag",
  year =         2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CMoL08-Dynamics.pdf"
}

@InProceedings{ICA08,
  author = 	 {Wouter van Atteveldt and Nel Ruigrok and Stefan Schlobach and
                  Frank van Harmelen},
  title = 	 {Searching the news: Using a rich ontology with time-bound roles to search through annotated newspaper archives},
  booktitle =	 {Proceedings of the 58th annual conference of the
                  International Communication Association},
  year =	 2008,
  address =	 {Montreal},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICA08.pdf"
}

@InProceedings{ICSC08,
  author = 	 {D. Fensel and F. van Harmelen and others},
  title = 	 {Towards LarKC: a Platform for Web-scale Reasoning},
  booktitle =	 {second IEEE International Conference on Semantic
                  Computing (ICSC2008)},
  pages =	 {524-529},
  year =	 2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICSC08.pdf"
}

@InProceedings{ISWC08,
  author = 	 {Zh. Huang  and F. van Harmelen},
  title = 	 {Using Semantic Distances for Reasoning with Inconsistent Ontologies},
  booktitle =	 {Proceedings of the Seventh International Semantic Web 
                  Conference},
  pages =	 {178-194},
  year =	 2008,
  volume =	 {5318},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC08.pdf",
}

@InBook{MITPress08,
  author =	 {Luca Console and others},
  editor =	 {E. di Nitto and A.M. Sassen and P. Traverso and A. Zwegers},
  title = 	 {At your service: Service Engineering in the Information Society Technologies Program}, 
  chapter = 	 {WS-DIAMOND: Web Services - DIAgnosability, MONitoring, and
                  Diagnosis},
  publisher = 	 {MIT Press},
  year = 	 2008,
  keywords = {Web-services},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MITPress08.pdf"
}

@InBook{SpatialSemWeb08-Ch3,
  author =	 {Frank van Harmelen},
  editor =	 {Peter van Ooster},
  title = 	 {Creating Spatial Information Infrastructures},
  chapter = 	 {Semantic web technologies as the foundation for 
                  the information infrastructure},
  publisher = 	 {Wiley},
  year = 	 2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SpatialSemWeb08-Ch3.pdf"
}

@inbook{DBLP:reference/fai/HendlerH08,
  author    = {Jim Hendler and
               Frank van Harmelen},
  title     = {The Semantic Web: Webizing Knowledge Representation},
  booktitle = {Handbook of Knowledge Representation},
  pages     = {821--839},
  year      = {2008},
  crossref  = {DBLP:reference/fai/3},
  url       = {http://dx.doi.org/10.1016/S1574-6526(07)03021-0},
  keywords = {Semantic Web},
  doi       = {10.1016/S1574-6526(07)03021-0}
}

@proceedings{DBLP:conf/semweb/2007nfrsw,
  editor    = {Ruzica Piskac and
               Frank van Harmelen and
               Ning Zhong},
  title     = {Proceedings of the First International Workshop Workshop "New
               forms of reasoning for the Semantic Web: scalable, tolerant and dynamic",
               co-located with {ISWC} 2007 and {ASWC} 2007, Busan, Korea, November
               11th, 2007},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {291},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-291},
  keywords = {Semantic Web},
  urn       = {urn:nbn:de:0074-291-6},
}

@Article{AIM07,
  author = 	 "Radu Serban and Annette ten Teije and
                  Frank van Harmelen and Mar Marcos and Cristina Polo-Conde",
  title = 	 "Extraction and use of linguistic patterns for modelling medical guidelines",
  journal =	 "AI in Medicine",
  year =	 2007,
  volume =       39,
  number =       2,
  pages =	 "137-149",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM07.pdf"
}

@InProceedings{AIME07,
  author =       "Perry Groot and Frank van Harmelen and Arjen Hommersom and
                  Peter Lucas and Radu Serban and Annette ten Teije",
  title =        "The Role of Model Checking in Critiquing based on Clinical Guidelines ",
  booktitle =    "Proceedings of the Eleventh European Conference on Artificial
                  Intelligence in Medicine (AIME'07)",
  year =         2007,
  pages     = {411-420},
  publisher =    "Springer Verlag",
  series =       "LNAI",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf"
}

@inbook{AWS07,
  author = "D. Robertson and C. Walton and A. Barker and P. Besana and
            Y. Chen-Burger and F. Hassan and D. Lambert and G. Li and
	    J. McGuinnis and N. Osman and A. Bundy and F. McNeill and
	    F. van Harmelen and C. Sierra and F. Giunchiglia",
  editor = "E. Chang and T. Dillon and R. Meersman and K. Sycara",
  booktitle = "Advances in Web Semantics, vol 1",
  title = "Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing",
  publisher = "Springer-Verlag",
  series = "LNCS-IFIP",
  year = "2007",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AWS07.pdf"
}

@InProceedings{CISWeb08,
  author = 	 "Z. Aleksovski and W. ten Kate and F. van Harmelen",
  title = 	 "Using multiple ontologies as background knowledge in ontology matching", 
  booktitle =	 {Proceedings of the  1st International Workshop on
                  Collective Semantics: Collective Intelligence & the
                  Semantic Web {CISWeb'08}},
  editor =       {Y. Avrithis, Y. Kompatsiaris, S. Staab, A. Vakali},
  year =	 2007,
  url =          "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-351/paper3.pdf",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CISWeb08.pdf"
}

@InProceedings{ESWC07,
  author = 	 {Wouter van Atteveldt and Stefan Schlobach
                  and Frank van Harmelen},
  title = 	 {Media, Politics and the Semantic Web: An experience report in advanced RDF usage},
  booktitle =	 {Proceedings of the Third European Semantic Web 
                  Conference},
  pages =	 {205--218},
  year =	 2007,
  volume =	 4519,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC07.pdf"
}

@InProceedings{ICAIL07,
  author =       "E. Uijttenbroek and M.C.A. Klein and A.R. Lodder
                  and F. van Harmelen",
  title =        "Case Law Retrieval by Concept Search and Visualization",
  editor =       "R. Winkels and A. Gardner",
  booktitle =    "Proceedings of the Proceedings of the 11th
                  International Conference on Artificial Intelligence and Law,
                  {(ICAIL 2007})",
  isbn =         "978-1-59593-680-6",
  year =         2007,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICAIL07.pdf"
}

@Article{IEEE-IC07,
  author = 	 "Dieter Fensel and Frank van Harmelen",
  title = 	 "Unifying Reasoning and Search to Web Scale",
  journal =	 "IEEE Internet Computing",
  year =	 2007,
  volume =	 "11",
  number =	 "2",
  pages =	 "94--96",
  month =	 "March/April",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IC07.pdf"
}

@InProceedings{ISWC07-WS,
  author = 	 "S. Schlobach and E. Blaauw and M. El Kebir and A. ten Teije and
                  F. van Harmelen and S. Bortoli and M. Hobbelman and K. Milian and 
                  Y. Ren and S. Stam and P. Thomassen and R. van het Schip and  
                 W. van Willigem",
  title = 	 "Anytime Classification by Ontology Approximation",
  booktitle =	 {Proceedings of the workshop on new forms of reasoning
                  for the Semantic Web: scalable, tolerant and dynamic},
  pages =	 {60--74},
  editor =       {Ruzica Piskac et al.},
  year =	 2007,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC07-WS.pdf"
}

@Article{JAR07,
  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 =       3,
  number =       39,
  pages =        "317-349",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JAR07.pdf"
}

@InProceedings{WWW07,
  author =       "Risto Gligorov and Zharko Aleksovski and 
                  Warner ten Kate and F. van Harmelen",
  title =        "Using Google Distance to weight approximate ontology matches",
  booktitle =    "Proceedings of the seventeenth World Wide Web conference {WWWW}'07",
  year =         2007,
  pages =        "767-776",
  address =      "Korea",
  month =        "May",
  keywords = {Semantic Web, Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW07.pdf"
}

@Article{AIM06,
  author = 	 "Annette ten Teije and Mar Marcos and Michel Balser and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Peter Lucas and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang",
  title = 	 "Improving medical protocols by formal methods",
  journal =	 "AI in Medicine",
  year =	 2006,
  volume =       36,
  number =       3,
  pages =	 "193-209",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM06.pdf"
}

@InProceedings{CIA06,
  author =       "F. van Harmelen",
  title =        "Semantic Web Research anno 2006: main streams, popular fallacies, current status and future challenges",
  editor =       "M. Klusch and M. Rovatsos and T. Payne",
  number =       "4149",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "1--7",
  booktitle =    "Proceedings of the 10th
                  10th International Workshop on 
                  Cooperative Information Agents,({CIA}2006)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CIA06.pdf"
}

@InProceedings{EKAW06-Protocure,
  author =       "R. Stegers and A. ten Teije and F. van Harmelen",
  title =        "From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)",
  editor =       "S. Staab and V. Svatek",
  number =       "4248",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "51-58",
  booktitle =    "Proceedings of the 15th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'06)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW06-Protocure.pdf"
}

@InProceedings{EKAW06-mapping,
  author =       "Z. Aleksovski and M. Klein and W. ten Kate 
                  and F. van Harmelen",
  title =        "Matching Unstructured Vocabularies using a Background Ontology",
  editor =       "S. Staab and V. Svatek",
  number =       "4248",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "182-197",
  booktitle =    "Proceedings of the 15th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'06)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW06-mapping.pdf"
}

@InProceedings{ISWC06-WS,
  author = 	 {Z. Aleksovski and W. ten Kate and F. van Harmelen},
  title = 	 {Ontology matching using comprehensive ontology as background knowledge},
  booktitle =	 {Proceedings of the International Workshop on Ontology Matching at ISWC 2006},
  pages =	 {13--24},
  editor =       {P. Shvaiko et al.},
  year =	 2006,
  publisher =	 {CEUR},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC06-WS.pdf"
}

@InProceedings{JURIX06,
  author     = "M. Klein and W. van Steenbergen and E.Uijttenbroek 
                and Arno Lodder and F. van Harmelen",  
  title      = "Thesaurus-based Retrieval of Case Law",  
  booktitle  = "Proceedings of the 19th International JURIX conference",  
  editor     = "Tom van Engers",  
  month      = "December 5-7",  
  year       = "2006",  
  publisher  = "IOS Press",
  ISBN       = "978-1-58603-698-0 ",
  abstract   =
"In the context of intelligent disclosure of case law, we report on our
findings on methods for retrieving relevant case law within the domain
of tort law from a repository of 68.000 court verdicts. We apply a
thesaurus-based technique to find specific legal situations. It appears
that statistical measures of term relevance are not sufficient, but that
explicit knowledge about specific formulations used in law and case law
are required to distinguish relevant case law from irrelevant. In
addition, we found out that the retrieving legal concepts with an
'interpretive' character requires a different method than concepts do
not require additional interpretation.",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX06.pdf"
}

In the context of intelligent disclosure of case law, we report on our findings on methods for retrieving relevant case law within the domain of tort law from a repository of 68.000 court verdicts. We apply a thesaurus-based technique to find specific legal situations. It appears that statistical measures of term relevance are not sufficient, but that explicit knowledge about specific formulations used in law and case law are required to distinguish relevant case law from irrelevant. In addition, we found out that the retrieving legal concepts with an 'interpretive' character requires a different method than concepts do not require additional interpretation.

@Article{KAIS06,
  author = 	 "Peter Haase and Ronny Siebes and Frank van Harmelen",
  title = 	 "Expertise-based Peer Selection in Peer-to-Peer Networks",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2006,
  URL =          "http://dx.doi.org/10.1007/s10115-006-0055-1",
  volume =	 15,
  number =	 1,
  pages  =       "75-107",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS06.pdf"
}

@inbook{SWAPbook06,
  author =       "R. Siebes and P. Haase and F. van Harmelen",
  title =        "Expertise-Based Peer Selection",
  editor =       "S. Staab and H. Stuckenschmidt",
  booktitle =    "Semantic Web and Peer-to-Peer",
  publisher =    "Springer-Verlag",
  year =         2006,
  pages =        "125-142",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWAPbook06.pdf"
}

@InProceedings{AIME05,
  author =       "Marjolein van Gendt and Annette ten Teije and 
                  Radu Serban and Frank van Harmelen",
  title =        "Formalising medical quality indicators to improve guidelines",
  booktitle =    "Proceedings of the Tenth European Conference on Artificial
                  Intelligence in Medicine (AIME'05)",
  year =         2005,
  pages =        "201-210",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       3581,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME05.pdf"
}

@InProceedings{IJCAI05,
  author =    "Zhisheng Huang and Frank van Harmelen and Annette ten Teije",
  title =     "Reasoning with Inconsistent Ontologies",
  booktitle = "Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence ({IJCAI}'05)",
  year =      "2005",
  pages =     "454-459",
  address =   "Edinburgh, Scotland",
  month =     "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI05.pdf"
}

@InProceedings{ISWC05,
  author = 	 {P. Haase and F. van Harmelen and Zh. Huang 
                  and H. Stuckenschmidt and Y Sure},
  title = 	 {A Framework for Handling Inconsistency in Changing Ontologies},
  booktitle =	 {Proceedings of the Fourth Internation Semantic Web 
                  Conference},
  pages =	 {353-367},
  year =	 2005,
  volume =	 {3729},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC05.pdf"
}

@InProceedings{JURIX05,
  author = 	 {R. van Laarschot and W. van Steenbergen and 
                  H. Stuckenschmidt and A. Lodder and Frank van Harmelen},
  title = 	 {The Legal Concepts and the Layman’s Terms Bridging the Gap through Ontology-Based Reasoning about Liability},
  booktitle =	 {Proceedings of JURIX 2005},
  year =	 2005,
  editor =       "M.-F. Moens",
  pages  =       "115-126",
  publisher =	 {IOS Press},
  ISBN =         "978-1-58603-576-1",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX05.pdf"
}

@Article{JWS05,
  author =       "Peter Haase and Björn Schnizler and Jeen Broekstra and
                  Marc Ehrig and Frank van Harmelen and Maarten Menken and
		  Peter Mika and Michal Plechawski and Pawel Pyszlak and
		  Ronny Siebes and Steffen Staab and Christoph Tempich",
  title =        "Bibster - A Semantics-Based Bibliographic Peer-to-Peer System",
  journal = 	 "Journal of Web Semantics",
  year = 	 2005,
  volume =	 2,
  number =	 1,
  pages =        6,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS05.pdf"
}

@inproceedings{OntologiesforMAS05,
   title =     "Query Processing in Ontology-Based Peer-to-Peer Systems",
   author =   "Heiner Stuckenschmidt and Fausto Giunchiglia and
                Frank van Harmelen",
   editor =    "V. Tamma and S. Cranefield and T. Finin and S. Willmott",
   booktitle = "Ontologies for Agents: Theory and Experiences",
   series =    "Whitestein Series in Software Agent Technologies",
   publisher = "Birkhauser",
   year =      2005,
  keywords = {Semantic Web},
   urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntologiesforMAS05.pdf"
}

@inproceedings{REWERSE05,
   title =     "Introduction to Semantic Web Ontology Languages",
   author =   "Grigoris Antoniou and Enrico Franconi and Frank van Harmelen",
   editor =    {Norbert Eisinger and Jan Ma{\l}uszy\'nski},
   booktitle =     {Reasoning Web, Proceedings of the Summer School, Malta, 2005},
   series =    {Lecture Notes in Computer Science},
   number =    3564,
   publisher = {Springer-Verlag},
   address =   {Berlin, Heidelberg, New York, Tokyo},
   year =      2005,
  keywords = {Semantic Web},
   urlPaper = "http://www.cs.vu.nl/~frankh/postscript/REWERSE05.pdf"
}

@Inbook{VSW05,
  author =       "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  title =        "Ontology-based Information Visualisation: Towards Semantic Web Applications",
  booktitle =    "Visualising the Semantic Web (2nd edition)",
  year =         2005,
  publisher =    "Springer Verlag",
  editor =       "Vladimir Geroimenko",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW05.pdf"
}

@book{DBLP:series/aikp/StuckenschmidtH05,
  author    = {Heiner Stuckenschmidt and
               Frank van Harmelen},
  title     = {Information Sharing on the Semantic Web},
  series    = {Advanced Information and Knowledge Processing},
  publisher = {Springer},
  year      = {2005},
  url       = {http://dx.doi.org/10.1007/10.1007/b138282},
  doi       = {10.1007/10.1007/b138282},
  keywords = {Semantic Web},
  isbn      = {978-3-540-20594-4},
}

@proceedings{DBLP:conf/semweb/2004,
  editor    = {Sheila A. McIlraith and
               Dimitris Plexousakis and
               Frank van Harmelen},
  title     = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima,
               Japan, November 7-11, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3298},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-23798-4},
  timestamp = {Wed, 10 Nov 2004 10:27:47 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/semweb/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {Semantic Web}
}

@Article{BioInformatics04,
  author = 	 "Maksym Korotkiy and Rutger Middelburg and Henk Dekker
                  and Frank van Harmelen and Jan Lankelma",
  title = 	 "A tool for gene expression based PubMed search through combining data sources",
  journal = 	 "BioInformatics",
  year = 	 2004,
  volume =	 20,
  number =	 "1980-1982",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/BioInformatics04.pdf"
}

@InProceedings{CGP04,
  author =       "M. Balser and O. Coltell and J. van Croonenborg and
                  C. Duelli and F. van Harmelen and A. Jovell and 
		  P. Lucas and M. Marcos and S. Miksch and
                  W. Reif and K. Rosenbrand and A. Seyfang and
                  A. ten Teije",
  title =        "Protocure: Supporting the Development of Medical Protocols through Formal Methods",
  booktitle =    "Proceedings of the workshop on Computerised Protocols
                  and Guidelines",
  series = "Studies in Health, Technology and Information",
  year =         2004,
  pages =        "103-107",
  publisher =    "IOS Press",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CGP04.pdf"
}

@InProceedings{EKAW04-DOPE,
  author =       "H. Stuckenschmidt and A. de Waard and R. Bhogal and 
                  Christiaan Fluit and A. Kampman and J. van Buel and 
		  E. van Mulligen and J. Broekstra and I. Crowlesmith
		  and F. van Harmelen and T. Scerri",
  title =        "A Topic-Based Browser for Large Online Resources",
  editor =       "E. Motta and N. Shadbolt",
  number =       "3257",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "433-448",
  booktitle =    "Proceedings of the Proceedings of the 14th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'04)",
  publisher =    "Springer-Verlag",
  year =         2004,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW04-DOPE.pdf"
}

@InProceedings{EKAW04-IBROW,
  author =       "Annette ten Teije and Frank van Harmelen and Bob Wielinga",
  title =        "Configuration of Web Services as Parametric Design",
  editor =       "E. Motta and N. Shadbolt",
  number =       "3257",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "321-336",
  booktitle =    "Proceedings of the Proceedings of the 14th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'04)",
  publisher =    "Springer-Verlag",
  year =         2004,
  keywords = {Web-services},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW04-IBROW.pdf"
}

@InProceedings{ICSNW04,
  author =       "P. Haase and R. Siebes and F. van Harmelen",
  title =        "Peer Selection in Peer-to-Peer Networks with Semantic Topologies",
  booktitle = 	 "Proceedings of the International Conference on Semantics in 
                  a Networked World ({ICNSW'04})",
  editor =       "Mokrane Bouzeghoub",
  year = 	 2004,
  series =	 "LNCS",
  publisher =	 "Springer Verlag",
  volume =       3226,
  pages =        "108-125",
  address = 	 "Paris",
  month = 	 "June",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICSNW04.pdf"
}

@Article{IEEE-IS04,
  author = 	 "H. Stuckenschmidt and F. van Harmelen and 
                  A. de Waard and T. Scerri and R. Bhogal and 
		  J. van Buel and I. Crowlesmith and Ch. Fluit and 
		  A. Kampman and J. Broekstra and E. van Mulligen",
  title = 	 "Exploring Large Document Repositories with RDF Technology: The DOPE Project",
  journal =	 "IEEE Intelligent Systems",
  year =	 2004,
  volume =	 "19",
  number =	 "3",
  pages =        "34--40",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS04.pdf"
}

@Article{JWS04,
  author = 	 "Paolo Bouquet and Fausto Giunchiglia and 
                  Frank van Harmelen and Luciano Serafini and 
		  Heiner Stuckenschmidt",
  title = 	 "Contextualizing Ontologies",
  journal = 	 "Journal of Web Semantics",
  year = 	 2004,
  volume =	 1,
  number =	 4,
  pages =        "325-343",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS04.pdf"
}

@Article{KBS04,
  author = 	 "Heiner Stuckenschmidt and Frank van Harmelen",
  title = 	 "Generating and Managing Metadata for Web-Based Information Systems",
  journal =	 "Knowledge-based Systems",
  year =	 2004,
  volume =       17,
  pages =	 "201-206",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KBS04.pdf"
}

@InProceedings{KR04,
  author =       "P. Groot and A. ten Teije and F. van Harmelen",
  title =        "Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification ",
  booktitle = 	 "Proceedings of the Ninth International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'04})",
  year = 	 2004,
  address = 	 "Whistler, Colorado",
  month = 	 "June",
  pages = 	 "",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR04.pdf"
}

@InProceedings{KRMed04,
  author =       "H. Stuckenschmidt and F. van Harmelen and 
                  L. Serafini and P. Bouquet and F. Giunchiglia",
  title =        "Using C-OWL for the Alignment and Merging of Medical Ontologies",
  booktitle = 	 "Proceedings of the First International Workshop on 
                  Formal Biomedical Knowledge Representation ({KRMed'04})",
  editor =       "Udo Hahn",
  year = 	 2004,
  address = 	 "Whistler, Colorado",
  month = 	 "June",
  pages = 	 "8-101",
  URL   =        "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-102/",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KRMed04.pdf"
}

@InProceedings{SEMPGRID04,
  author =       "J. Broekstra and Marc Ehrig and Peter Haase and 
                  Frank van Harmelen and Maarten Menken and Peter Mika and 
		  Bjorn Schnizler and Ronny Siebes",
  title =        "Bibster - A Semantics-Based Bibliographic Peer-to-Peer System",
  booktitle = 	 "The Second Workshop on 
Semantics in Peer-to-Peer and Grid Computing ({SEMPGRID'04})",
  year = 	 2004,
  address = 	 "New York",
  month = 	 "May",
  URL  =         "http://www.isi.edu/~hongsuda/SemPGRID04/",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SEMPGRID04.pdf"
}

@book{DBLP:books/daglib/0011076,
  author    = {Grigoris Antoniou and
               Frank van Harmelen},
  title     = {A semantic web primer},
  publisher = {{MIT} Press},
  year      = {2004},
  keywords = {Semantic Web},
  isbn      = {978-0-262-01210-2},
}

@InProceedings{WWW-WS04,
  author =       "J. Broekstra and Christiaan Fluit and A. Kampman and 
                  F. van Harmelen and  H. Stuckenschmidt and R.Bhogal
                  and A. Scerri and A. de Waard and E. van Mulligen",
  title =        "The Drug Ontology Project for Elsevier",
  booktitle =    "Proceedings of the WWW'04 workshop on Application Design,
                  Development and Implementation Issues in the Semantic Web",
  year =         2004,
  address =      "New York",
  month =        "May 2004",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW-WS04.pdf"
}

@InProceedings{AIME03KIV,
  author =       "Mar Marcos and Michael Balser and Annette ten Teije
                  and Frank van Harmelen and Christoph Duelli",
  title =        "Experiences in the formalisation and verification of medical protocols",
  booktitle =    "Proceedings of the Ninth European Conference on Artificial
                  Intelligence in Medicine (AIME'03)",
  year =         2003,
  pages =        "132-141",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2870,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME03KIV.pdf"
}

@InProceedings{AIME03linking,
  author =       "Marije Geldof and Annette ten Teije and Frank van Harmelen 
                  and Mar Marcos and Peter Votruba",
  title =        "Informal and formal medical guidelines: Bridging the gap",
  booktitle =    "Proceedings of the Ninth European Conference on Artificial,
                  Intelligence in Medicine (AIME'03)",
  year =         2003,
  pages =        "173-178",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2870,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME03linking.pdf"
}

@InProceedings{ISWC03,
  author =    "Paolo Bouquet and Fausto Giunchiglia and Frank van Harmelen 
               and Luciano Serafini and Heiner Stuckenschmidt",
  title =     "{C-OWL}: Contextualizing Ontologies",
  booktitle = "Proceedings of the Second International Semantic Web Conference",
  year =      "2003",
  pages =     "164--179",
  editor =    "K. Sekara and J. Mylopoulis",
  month =     "October",
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "2870",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC03.pdf"
}

@Article{JWS03,
  author = 	 "Ian Horrocks and Peter Patel-Schneider and 
                  Frank van Harmelen",
  title = 	 "From {SHIQ} and {RDF} to {OWL}: The Making of a Web Ontology Language",
  journal = 	 "Journal of Web Semantics",
  year = 	 2003,
  volume =	 1,
  number =	 1,
  pages  =       "7-26",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS03.pdf"
}

@Article{KAIS03,
  author = 	 "Perry Groot and Annette ten Teije and Frank van Harmelen",
  title = 	 "A quantitative analysis of the robustness of Knowledge-Based Systems through degradation studies",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2003,
  volume =	 7,
  number =	 2,
  pages  =       "224-245",
  URL = "http://www.springerlink.com/app/home/contribution.asp?wasp=8cac231awn5ynvebaddj&referrer=parent&backto=issue,5,6;journal,2,25;linkingpublicationresults,1:105441,1",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS03.pdf"
}

@inbook{OntoHandbook03OWL,
  author =       "Grigoris Antoniou and Frank van Harmelen",
  title =        "Web Ontology Language: OWL",
  editor =       "S. Staab and R. Studer",
  booktitle =    "Handbook on Ontologies in Information Systems",
  publisher =    "Springer-Verlag",
  year =         2003,
  pages =        "76-92",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntoHandbook03OWL.pdf"
}

@InProceedings{OntoHandbook03Viz,
   title=       "Supporting User Tasks through Visualisation of Light-weight Ontologies",
  author =        "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  editor =       "S. Staab and R. Studer",
  booktitle =    "Handbook on Ontologies in Information Systems",
  publisher =    "Springer-Verlag",
  pages =        "415-434",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntoHandbook03Viz.pdf"
}

@InProceedings{P2P-WWW03,
  author =       "J. Broekstra and M. Ehrig and P. Haase and 
                  F. van Harmelen and A. Kampman and M. Sabou and 
                  R. Siebes and S. Staab and H. Stuckenschmidt and
                  Ch. Tempich",
  title =        "A Metadata Model for Semantics-Based Peer-to-Peer Systems",
  editor =       "",
  booktitle =    "Proceedings of the WWW'03 Workshop on
                  Semantics in Peer-to-Peer and Grid Computing",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/P2P@WWW03.pdf"
}

@InProceedings{WI-book03,
  author =       "Y. Sure and H. Akkermans and J. Broekstra and
                  J. Davies and Y. Ding and A. Duke and R. Engels and 
                  D. Fensel and I. Horrocks and V. Iosif and A. Kampman and 
                  A. Kiryakov and M. Klein and Th. Lau and D. Ognyanov and
		  U. Reimer and K. Simov and R. Studer and J. van der Meer and
                  F van Harmelen",
  title =        "On-To-Knowledge: Semantic Web Enabled Knowledge Management",
  editor =       "N. Zhong and J. Liu and Y. Yao",
  pages =        "277-300",
  booktitle =    "Web Intelligence",
  publisher =    "Springer-Verlag",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI-book03.pdf"
}

@InProceedings{WM03,
  author =       "M. Ehrig and Ch. Tempich and J. Broekstra and 
                  F. van Harmelen and M. Sabou and R. Siebes and
                  S. Staab and H. Stuckenschmidt",
  title =        "A Metadata Model for Semantics-Based Peer-to-Peer Systems",
  editor =       "",
  booktitle =    "Proceedings of the  second Konferenz Professionelles
                  Wissensmanagement", 
  address =      "Lucern", 
  date =         "April 2-4", 
  year =         "2003",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WM03.pdf"
}

@InProceedings{AAAI02,
  author =    "P. Patel-Schneider and I. Horrocks and F. van Harmelen",
  title =     "Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web",
  booktitle = "Proceedings of the Eighteenth National Conference on
               Artificial Intelligence",
  year =      "2002",
  pages =     "792--797",
  editor =    "R. Dechter and  M. Kearns and R. Sutton,",
  month =     "July",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AAAI02.pdf"
}

@InProceedings{EKAW02,
  author =       "Mar Marcos and Michael Balser and 
                  Annette ten Teije and Frank van Harmelen",
  title =        "From informal knowledge to formal logic: a realistic case study in medical protocols",
  editor =       "A. Gomez-Perez and R. Benjamins",
  number =       "2473",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "49--64",
  booktitle =    "Proceedings of the Proceedings of the 13th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'02)",
  publisher =    "Springer-Verlag",
  year =         2002,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW02.pdf"
}

@proceedings{DBLP:conf/ecai/2002,
  editor    = {Frank van Harmelen},
  title     = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  publisher = {{IOS} Press},
  year      = {2002},
}

@InProceedings{FLAIRS02,
  author =    "Heiner Stuckenschmidt and Jens Hartmann and 
               Frank van Harmelen",
  title =     "Learning Structural Classification Rules for Web-page Categorization",
  booktitle = "Proceedings of the Fifteenth International FLAIRS conference",
  year =      "2002",
  pages =     "440-444",
  editor =    "S. Haller and G. Simmons",
  month =     "May",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FLAIRS02.pdf"
}

@InProceedings{FQAS02,
  author =       "Heiner Stuckenschmidt and Frank van Harmelen",
  title =        "Approximating Terminological Queries",
  editor =       "H.L. Larsen et al.",
  number =       "2522",
  series =       "Advances in Soft Computing",
  pages =        "329-343",
  booktitle =    "Proceedings of the Proceedings of the 4th
                  International Conference on Flexible Query Answering
                  Systems ({FQAS})'02)",
  publisher =    "Springer-Verlag",
  year =         2002,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FQAS02.pdf"
}

@InProceedings{IDPT02,
  author =    "Mar Marcos and Hugo Roomans and Annette ten Teije 
               and Frank van Harmelen",
  title =     "Improving medical protocols through formalisation: a case study",
  booktitle = "Proceedings of the Sixth World Conference on Integrate
               Design and Process Technology",
  year =      "2002",
  month =     "July",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IDPT02.pdf"
}

@Article{IEEE-Computer02,
  author = 	 "Dieter Fensel and  Frank van Harmelen and  Ying Ding and  
                  Michel Klein and  Hans Akkermans and Jeen Broekstra and  
		  Arjohn Kampman and  Jos van der Meer and York Sure and  
		  Rudi Studer and Uwe Krohn and  John Davies and 
		  Robert Engels and Victor Iosif and Atanas Kiryakov and 
		  Thorsten Lau and  Ulrich Reimer and  Ian Horrocks",
  title = 	 "On-To-Knowledge in a Nutshell",
  journal =	 "IEEE Computer",
  year =	 2002,
  pages =        "1--16",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-Computer02.pdf"
}

@Article{IEEE-IS02,
  author = 	 "Frank van Harmelen",
  title = 	 "The complexity of the Web ontology language",
  journal =	 "IEEE Intelligent Systems",
  year =	 2002,
  volume =	 "17",
  number =	 "March/April",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS02.pdf"
}

@InProceedings{ISWC02,
  author =    "Jeen Broekstra and Arjohn Kampman and Frank van Harmelen",
  title =     "Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema",
  booktitle = "Proceedings of the First Internation Semantic Web Conference",
  year =      "2002",
  pages =     "54--68",
  editor =    "I. Horrocks and J. Hendler",
  month =     "July",
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "2342",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC02.pdf"
}

@Article{KAIS02,
  author = 	 "Dieter Fensel and Enrico Motta and V. Richard Benjamins and 
                  Monica Crubezy and Stefan Decker and Mauro Gaspari and 
                  Rix Groenboom and William Grosso and Frank van Harmelen and 
		  Mark Musen and Enric Plaza and Guus Schreiber and 
		  Rudi Studer and Bob Wielinga",
  title = 	 "The Unified Problem-solving Method Development Language UPML",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2002,
  volume =	 5,
  number =	 1,
  pages  =       "83-131",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS02.pdf"
}

@Article{KER02,
  author =       "F. van Harmelen",
  title =        "How the Semantic Web will change KR: challenges and opportunities for a new research agenda",
  journal =      "The Knowledge Engineering Review",
  volume =       17,
  number =       1,
  year =         2002,
  pages =        "93--96",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER02.pdf"
}

@InProceedings{MeaN02,
  author =    "Ronny Siebes and Frank van Harmelen",
  title =     "Ranking Agent Statements for Building Evolving Ontologies",
  booktitle = "Workshop on Meaning Negotation, in conjunction with the 
               Eighteenth National Conference on Artificial Intelligence",
  year =      "2002",
  editor =    "P. Bouquet",
  month =     "July",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MeaN02.pdf"
}

@Inbook{VSW02,
  author =       "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  title =        "Ontology-based Information Visualisation",
  booktitle =    "Visualising the Semantic Web",
  year =         2002,
  publisher =    "Springer Verlag",
  editor =       "Vladimir Geroimenko",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW02.pdf"
}

@InProceedings{AIME01,
  author =       "M. Marcos and G. Berger and F. van Harmelen and 
                  A. ten Teije and H. Roomans and S. Miksch",
  title =        "Using critiquing for improving medical protocols: harder than it seems",
  booktitle =    "Proceedings of the Eighth European Conference on Artificial
Intelligence in Medicine (AIME'01)",
  year =         2001,
  pages =        "431-441",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2101,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME01.pdf"
}

@Article{IEEE-IS01,
  author = 	 "Dieter Fensel and Ian Horrocks and Frank van Harmelen
		 and Deborah L. McGuinness and Peter Patel-Schneider",
  title = 	 "OIL: An Ontology Infrastructure for the Semantic Web",
  journal =	 "IEEE Intelligent Systems",
  year =	 2001,
  volume =	 "16",
  number =	 "2",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS01.pdf"
}

@InProceedings{K-CAP01,
  author =       "H. Stuckenschmidt and F. van Harmelen",
  title =        "Ontology-based Metadata Generation from Semi-Structured Information",
  booktitle =    "Proceedings of the First Conference on Knowledge
  Capture (K-CAP'01)",
  year =         2001,
  pages =        "163-170",
  address =      "Victoria, Canada",
  month =        "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/K-CAP01.pdf"
}

@Inbook{MIT01,
  author = 	 "J. Broekstra and A. Kampman and F. van Harmelen",
  title = 	 "Sesame: An Architecture for Storing and Querying RDF Data and Schema Information ",
  booktitle = 	 "Semantics for the WWW",
  publisher =	 "MIT Press",
  year =	 2001,
  editor =	 "D. Fensel, J. Hendler, H. Lieberman
                  and W. Wahlster",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MIT01.pdf"
}

@Article{TKDE01,
  author = 	 "Pascal van Eck and Joeri Engelfriet and Dieter Fensel and 
                  Frank van Harmelen and Yde Venema and Mark Willems",
  title = 	 "A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective",
  journal = 	 "IEEE Transactions on Knowledge and Data Engineering",
  year = 	 2001,
  volume =	 13,
  number =	 3,
  pages =	 "462-496",
  month =	 "May/June",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/TKDE01.pdf"
}

@InProceedings{VSW01,
  author =       "Frank van Harmelen and Jeen Broekstra and Christiaan Fluit and
                  Herko ter Horst and Arjohn Kampman and Jos van der Meer
		  and Marta Sabou",
  title =        "Ontology-based Information Visualisation",
  booktitle =    "Proceedings of the workshop on Visualisation 
                  of the Semantic Web (VSW'01)",
  year =         2001,
  pages =        "36-48",
  address =      "London",
  note =         "in conjunction with the 5th International Conference 
                  on Information Visualisation",
  month =        "September",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW01.pdf"
}

@InProceedings{WI01,
  author =       "H. Stuckenschmidt and F. van Harmelen",
  title =        "Knowledge-Based Validation, Aggregation and Visualization of Meta-Data: Analyzing a Web-Based Information System",
  booktitle =    "Proceedings of the first Asia-Pacific conference on
                  Web Intelligence (WI'2001)",
  year =         2001,
  editor =       "N. Zhong and Y. Yao",
  number =       "2198",
  pages =        "217--226",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Artificial Intelligence",  
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI01.pdf"
}

@InProceedings{WWW01,
  author =       "J. Broekstra and M. Klein and S. Decker and D. Fensel 
                  and F. van Harmelen and I. Horrocks",
  title =        "Enabling knowledge representation on the Web by Extending RDF Schema",
  booktitle =    "Proceedings of the tenth World Wide Web conference {WWWW}'10",
  year =         2001,
  pages =        "467-478",
  address =      "Hong Kong",
  month =        "May",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW01.pdf"
}

@InProceedings{EML-WS2000,
  author = 	 {Carole Goble and Robert Stevens and Ian Horrocks 
                  and Dieter Fensel and Frank van Harmelen and 
                  Stefan Decker and Michel Klein},
  title = 	 {OIL: a slick way to represent knowledge for bioinformatics 
                  and the web},
  booktitle = {EML Workshop on Management and Integration of Biochemical 
                  Data},
  year = 	 2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EML-WS2000.pdf"
}

@InProceedings{DL00,
  author =       "S. Decker and D. Fensel and F. van Harmelen and 
                  I. Horrocks and S. Melnik and M. Klein and J. Broekstra",
  title =        "Knowledge Representation on the Web",
  editor =       "F. Baader",
  booktitle =    "International Workshop on Description Logics ({DL}'00)",
  year =         2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DL00.pdf"
}

@InProceedings{ECAI00-WS,
  author =       "D. Fensel and M. Crubezy and F. van Harmelen and I. Horrocks",
  title =        "OIL and UPML: a unifying framework for the Knowledge Web",
  booktitle =    "Proceedings of the {ECAI}'00 workshop on applications
                  of ontologies and problem-solving methods",
  year =         2000,
  address =      "Berlin",
  month =        "August",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00-WS.pdf"
}

@InProceedings{ECAI00-WS2,
  author =       "Michel Klein and Dieter Fensel and Frank van Harmelen and Ian Horrocks",
  title =        "The relation between ontologies and schema-languages: Translating OIL-specifications in XML-schema",
  booktitle =    "Proceedings of the {ECAI}'00 workshop on applications
                  of ontologies and problem-solving methods",
  year =         2000,
  address =      "Berlin",
  month =        "August",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00-WS2.pdf"
}

@InProceedings{ECAI00,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Describing Problem Solving Methods using Anytime Performance profiles",
  booktitle =    "Proceedings of {ECAI}'00",
  year =         2000,
  pages =        "181--186",
  address =      "Berlin",
  month =        "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00.pdf"
}

@InProceedings{EKAW00-KBS,
  author =       "P. Groot and F. van Harmelen and A. ten Teije",
  title =        "Torture tests: a quantitative analysis for the robustness of Knowledge-Based Systems",
  editor =       "R. Dieng",
  number =       "1812",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "403-418",
  booktitle =    "Proceedings of the Proceedings of the 12th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'00)",
  publisher =    "Springer-Verlag",
  year =         2000,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW00-KBS.pdf"
}

@InProceedings{EKAW00,
  author =       "D. Fensel and I. Horrocks and F. van Harmelen and 
                  S. Decker and M. Erdmann and M. Klein",
  title =        "OIL in a nutshell",
  editor =       "R. Dieng",
  number =       "1937",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "1-16",
  booktitle =    "Proceedings of the 12th European Workshop on
		  Knowledge Acquisition, Modeling, and Management ({EKAW}'00)",
  publisher =    "Springer-Verlag",
  year =         2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW00.pdf"
}

@InProceedings{IEAAIE00,
  author = 	 "A. Bultman and J. Kuipers and F. van Harmelen",
  title = 	 "Maintenance of KBS's by Domain Experts: The Holy Grail in Practice",
  booktitle =	 "Thirtheenth International Conference on 
                  Industrial & Engineering Applications of 
		  Artificial Intelligence & Expert Systems IEA/AIE'00",
  editor =       "R. Logananthara and G. Palm and M. Ali",
  publisher =    "Springer Verlag",
  series =       "Lecture Notes in Artificial Intelligence",
  number =       "1821",
  pages =	 "139-148",
  year =	 2000,
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEAAIE00.pdf"
}

@Article{IEEE-IC00,
  author = 	 "Stefan Decker and Sergey Melnik and Frank van Harmelen and 
                  Dieter Fensel and Michel Klein and Jeen Broekstra and 
		  Michael Erdmann and Ian Horrocks",
  title = 	 "The Semantic Web: The roles of XML and RDF",
  journal =	 "IEEE Internet Computing",
  year =	 2000,
  volume =	 "15",
  number =	 "3",
  pages =	 "63--74",
  month =	 "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IC00.pdf"
}

@Article{IEEE-IS00,
  author = 	 "Frank van Harmelen and 
                  Ian Horrocks",
  title = 	 "Questions and answers OIL",
  journal =	 "IEEE Intelligent Systems",
  year =	 2000,
  volume =	 "15",
  number =	 "6",
  pages =	 "69--72",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS00.pdf"
}

@InProceedings{KR00,
  author =       "A. Verberne and F. van Harmelen and A. ten Teije",
  title =        "Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation",
  booktitle = 	 "Proceedings of the Seventh International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'00})",
  year = 	 2000,
  address = 	 "Boulder, Colorado",
  month = 	 "April",
  pages = 	 "",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR00.pdf"
}

@InProceedings{UI00,
  author = 	 "Frank van Harmelen and Arjohn Kampman and 
                  Heiner Stuckenschmidt and Thomas Vogele",
  title = 	 "Knowledge-Based Meta-Data Validation: Analyzing a Web-Based Information System",
  booktitle =	 "Fourtheenth International Symposium Informatics for 
                  Environmental Protection",
  publisher =    "German Computer Society",
  editor =       "K. Greve",
  year =	 2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/UI00.pdf"
}

@InProceedings{eBeW00,
  author =       "Dieter Fensel and Frank van Harmelen and Michel Klein
                  and Hans Akkermans and Jeen Broekstra and
		  Christiaan Fluit and Jos van der Meer and
		  Hans-Peter Schnurr and Rudi Studer and John Hughes and
		  Uwe Krohn and John Davies and Robert Engels and
		  Bernt Bremdal and Fredrik Ygge and Thorsten Lau and
		  Bernd Novotny and Ulrich Reimer and Ian Horrocks",
  title =        "On-To-Knowledge: Ontology-based Tools for Knowledge Management",
  booktitle =    "eBusiness and eWork",
  year =         2000,
  address =      "Madrid",
  month =        "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/eBeW00.pdf"
}

@Article{AIM99,
  author = 	 "Arjen Vollebregt and Annette ten Teije
                  and Frank van Harmelen and Johan van der Lei
		  and Mees Mosseveld",
  title = 	 "A study of PROforma, a development methodology for clinical procedures",
  journal =	 "AI in Medicine",
  year =	 1999,
  volume =       17,
  pages =	 "195-221",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM99.pdf"
}

@InProceedings{EKAW99,
  author =       "P. Groot and A. ten Teije and F. van Harmelen",
  title =        "Formally verifying dynamic properties of KBS",
  editor =       "D. Fensel and R. Studer",
  number =       "1621",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "157-172",
  booktitle =    "Proceedings of the 11th European Workshop on
		  Knowledge Acquisition, Modeling, and Management ({EKAW}'99)",
  publisher =    "Springer-Verlag",
  year =         1999,
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf"
}

@InProceedings{IEAAIE99,
  author = 	 "F. van Harmelen and J. van der Meer",
  title = 	 "WebMaster: Knowledge-based Verification of Web-pages",
  booktitle =	 "Twelfth International Conference on 
                  Industrial & Engineering Applications of 
		  Artificial Intelligence & Expert Systems IEA/AIE'99",
  publisher =    "Springer Verlag",
  series =       "Lecture Notes in Artificial Intelligence",
  editor =       "I. Imam and Y. Kodratoff and M. Ali",
  number =       "1611",
  pages =	 "256--265",
  year =	 1999,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEAAIE99.pdf"
}

@InProceedings{IJCAI99-III,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Practical Knowledge Representation for the Web",
  editor =       "D. Fensel",
  booktitle =    "Proceedings of the IJCAI'99 Workshop on
                  Intelligent Information Integration",
  year =         1999,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI99-III.pdf"
}

@InProceedings{IJCAI99-PSM,
  author =       "A. ten Teije and F. van Harmelen",
  title =        "Describing Problem Solving Methods using Anytime Performance profiles",
  editor =       "R. Benjamins",
  booktitle =    "Proceedings of the IJCAI'99 Workshop on
                  Ontologies and Problem Solving Methods",
  year =         1999,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI99-PSM.pdf"
}

@Article{AIM98,
  author = 	 "Gerard Renardel de Lavalette and Rix Groenboom and
                  Ernest Rotterdam and Frank van Harmelen and
                  Annette ten Teije and Fred de Geus",
  title = 	 "Formalisation for decision support in anaesthesiology",
  journal =	 "AI in Medicine",
  year =	 1998,
  volume =       11,
  pages =	 "189-214",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM98.pdf"
}

@Article{AIMag98,
  author = 	 "Gregoris Antoniou and Frank van Harmelen and 
                  Robert Plant and Jan Vanthienen",
  title = 	 "Verification and validation of Knowledge-Based Systems - Report on two 1997 events",
  journal =	 "AI Magazine",
  year =	 1998,
  volume =	 19,
  number =	 3,
  pages =	 "123-126",
  month =	 "Fall",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf"
}

@Article{DSS98,
  author = 	 "F. van Harmelen",
  title = 	 "Applying rule-base anomalies to KADS inference structures",
  journal = 	 "Decision Support Systems",
  year = 	 1998,
  volume = 	 21,
  number = 	 4,
  pages = 	 "271-280",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DSS98.pdf"
}

@inproceedings{DYNAMICS97,
  author =       "Pascal van Eck and Joeri Engelfriet and Dieter
                  Fensel and Frank van Harmelen and Yde Venema and
                  Mark Willems",
  title =        "Specification of Dynamics for Knowledge-Based Systems",
  booktitle =    "Transactions and Change in Logic Databases",
  editor =       "Burkhard Freitag and Hendrik Decker and Michael Kifer
                  and Andrei Voronkov",
  year =         "1998",
  pages =        "37-68",
  volume =       "1472",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer Verlag",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf"
}

@InProceedings{ECAI98,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Characterising approximate problem-solving by partial pre- and postconditions",
  booktitle =    "Proceedings of {ECAI}'98",
  year =         1998,
  pages =        "78--82",
  address =      "Brighton",
  month =        "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI98.pdf"
}

@Article{IJHCS98,
  author =    "A. ten Teije and F. van Harmelen and G. Schreiber and
               B. Wielinga",
  title =     "Construction of problem-solving methods as parametric design",
  journal = "International Journal of Human Computer Studies",
  year =      1998,
  volume =    49,
  number =    4,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJHCS98.pdf"
}

@Article{ITM98,
  author = 	 "D. Fensel and F. van Harmelen and W. Reif and A ten Teije",
  title = 	 "Formal support for Development of Knowledge-Based Systems",
  journal = 	 "Information Technology Management",
  year = 	 1998,
  volume = 	 2,
  number = 	 4,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ITM98.pdf"
}

@InProceedings{KAW98,
  author =	"Frank van Harmelen and Annette ten Teije",
  title =	"Characterising Problem Solving Methods by gradual requirements",
  booktitle = "Proceedings of the Eleventh Workshop on Knowledge Acquisition for
               Knowledge-Based Systems (KAW'98)",
  year =      "1998",
  date =      "April",
  address =   "Banff, Alberta",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAW98.pdf"
}

@proceedings{EUROVAV97,
  author = 	 "Frank van Harmelen and Annette ten Teije",
  title = 	 "Validation and verification  of conceptual models of diagnosis",
  journal =	 "Proceedings of the Fourth European Symposium on the
                  Validation and Verification of Knowledge Based Systems
		  ({EUROVAV}97)",
  pages =        {117--128},
  year =	 1997,
  address =      "Leuven, Belgium",
  month =	 "June",
  keywords = {Verification and Validation of KBS, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf"
}

@InProceedings{IJCAI97,
  author =    "A. ten Teije and F. van Harmelen",
  title =     "Exploiting domain knowledge for approximate diagnosis",
  booktitle = "Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence ({IJCAI}'97)",
  year =      "1997",
  pages =     "454--459",
  editor =    "M. Pollack",
  address =   "Nagoya, Japan",
  month =     "August",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI97.pdf"
}

@InProceedings{EKAW96,
  author =       "REVISE-Project",
  title =        "A Purpose Driven Method for Language Comparison",
  editor =       "N. Shadbolt and K. O'Hara",
  number =       1076,
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "66--81",
  booktitle =    "Proceedings of the 8th European Knowledge Acquisition
                  Workshop ({EKAW'96})",
  publisher =    "Springer-Verlag",
  year =         1996,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW96.pdf"
}

@Article{FGCS96,
  author = 	 "A. ten Teije and F. van Harmelen",
  title = 	 "Using reflection techniques for flexible problem solving (with examples from diagnosis)",
  journal =	 "Future Generation Computing Systems",
  volume =       12,
  month =        "December",
  pages =        "217-234",
  year =	 1996,
  keywords = {Meta-reasoning and Reflection, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FGCS96.pdf"
}

@Article{IEEE96,
  author = 	 "Frank van Harmelen and Manfred Aben and Fidel Ruiz and
                  Joke van de Plassche",
  title = 	 "Evaluating a formal KBS specification language",
  journal =	 "IEEE Expert",
  year =	 1996,
  volume =	 "11",
  number =	 "1",
  pages =	 "56--62",
  month =	 "February",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf"
}

@Article{JHCS96,
  author =       "F. van Harmelen and M. Aben",
  title =        "Structure preserving specification languages for knowledge-based systems",
  journal =      "International Journal of Human Computer Studies",
  year =         1996,
  volume =       44,
  pages =        "187-212",
  note =         "(Formerly Journal of Man Machine Studies)",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JHCS96.pdf"
}

@InProceedings{KR96,
  author =       "A. ten Teije and F. van Harmelen",
  title =        "Computing approximate diagnoses by using approximate entailment",
  booktitle = 	 "Proceedings of the Fifth International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'96})",
  year = 	 1996,
  address = 	 "Boston, Massachusetts",
  month = 	 "November",
  pages = 	 "265-256",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR96.pdf"
}

@Article{KER95,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Formal Methods in Knowledge Engineering",
  journal =      "The Knowledge Engineering Review",
  volume =       10,
  number =       4,
  year =         1995,
  pages =        "345--360",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER95.pdf"
}

@InProceedings{NAIC95-KBSspec,
  author = 	 "F. van Harmelen and M. Aben",
  title = 	 "Structure-preserving specification languages for knowledge-based systems (short version)",
  editor =	 "C. Bioch and Y.H. Tan",
  booktitle =	 "Proceedings of the Dutch Conference on AI (NAIC'95)",
  year =	 1995,
  address =	 "Rotterdam",
  month =	 "June",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf"
}

@InProceedings{SARA95,
  author = 	 "F. van Harmelen and A. ten Teije",
  title = 	 "Approximations in diagnosis: motivations and techniques",
  editor =	 "",
  booktitle =	 "Proceedings of the Symposium on Abstraction, Reformulation
                  and Approximation, (\uc{SARA}'95)",
  year =	 1995,
  address =	 "Ville d'Esterl, Canada",
  month =	 "August",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SARA95.pdf"
}

@InProceedings{SEKE94,
  author = 	 {John van den Elst and Frank van Harmelen and Guus Schreiber and Monique Thonnat},
  title = 	 {A functional specification of reusing software components},
  booktitle = 	 { The 6th International Conference on Software Engineering and Knowledge Engineering},
  pages =	 {374-381},
  year =	 1994,
  address =	 {Latvia},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SEKE94.pdf"  
}

@InProceedings{DX94,
  author =    "A. ten Teije and F. van Harmelen",
  title =     "An extended spectrum of logical definitions for diagnostic sytems",
  booktitle = "Proceedings of DX-94 Fifth International Workshop on
               Principles of Diagnosis",
  year =      "1994",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DX94.pdf"
}

@InProceedings{ECAI94,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Using domain knowledge to select solutions in abductive diagnosis",
  booktitle =    "Proceedings of {ECAI}'94",
  year =         1994,
  pages =        "652--656",
  address =      "Amsterdam",
  month =        "August",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI94.pdf"
}

@InProceedings{EKAW94,
  author =       "F. Ruiz and F. van Harmelen and M. Aben
                  and J. van de Plassche ",
  title =        "Evaluating a Formal Specification Language",
  editor =       "L. Steels and A.Th. Schreiber and W. Van de Velde",
  number =       867,
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "26--45",
  booktitle =    "A Future for Knowledge Acquisition, Proc. 8th EKAW",
  publisher =    "Springer-Verlag",
  year =         1994,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf"
}

@article{KER94,
  author =      "D. Fensel and F. van Harmelen",
  title =       "A comparison of languages which operationalise and formalise {KADS} models of expertise",
  journal =     "The Knowledge Engineering Review",
  volume =    9,
  pages =       "105--146",
  year =        1994,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER94.pdf"
}

@InProceedings{META94,
  author =       "F. van Harmelen",
  title =        "A model of costs and benefits of meta-level computation",
  booktitle =    "Proceedings of the Fourth Workshop on
                  Meta-programming in Logic ({META'94})",
  year =         "1994",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume =       883,
  pages =        "248-261",
  month =        jun,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/META94.pdf"
}

@article{AIJ92,
  title = {{Rippling: A Heuristic for Guiding Inductive Proofs}},
  author = {Alan Bundy and Andrew Stevens and Andrew Ireland and
           Frank van Harmelen and Alan Smaill},
  issn = {00043702},
  journal = {Artificial Intelligence},
  number = {2},
  volume = {62},
  pages = {185--253},
  keywords = {Automated Reasoning},
  institution = {Department of AI, University of Edinburgh},
  url = {http://www.cs.vu.nl/~frankh/postscript/AIJ92.pdf},
  year = {1993},
  abstract = {We describe rippling: a tactic for the heuristic control of
    the key part of proofs by mathematical induction. This tactic
    significantly reduces the search for a proof of a wide variety of
    inductive theorems. We first present a basic version of rippling,
    followed by various extensions which are necessary to capture larger
    classes of inductive proofs. Finally, we present a generalised form
    of rippling which embodies these extensions as special cases. We
    prove that generalised rippling always terminates, and we discuss
    the implementation of the tactic and its relation with other
    inductive proof search heuristics.},
}

We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic significantly reduces the search for a proof of a wide variety of inductive theorems. We first present a basic version of rippling, followed by various extensions which are necessary to capture larger classes of inductive proofs. Finally, we present a generalised form of rippling which embodies these extensions as special cases. We prove that generalised rippling always terminates, and we discuss the implementation of the tactic and its relation with other inductive proof search heuristics.

@Inbook{ECAI92WS,
  author =       "J. Balder and F. van Harmelen and M. Aben",
  title =        "A {KADS/ML$^2$} model of a scheduling task",
  booktitle =   "Formal Specification of Complex Reasoning Systems",
  pages =       "15--44",
  publisher =   "Ellis Horwood",
  year =        1993,
  editor =      "J. Treur and Th. Wetter",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf"
}

@InProceedings{GWAI92,
  author =       "C. Coulon and F. van Harmelen and W. Karbach and A.
                 Vo\ss",
  title =        "Controlling generate \& test in any time",
  booktitle =    "Proceedings of the German Workshop on AI (GWAI'92)",
  series =       "Lecture Notes in AI",
  volume =       671,
  pages =        "304-306",
  editor =       "H.J. Ohlbach",
  year =         1993,
  publisher =    "Springer-Verlag",
  note =         "Also in the proceedings of the ECAI'92 workshop on
                 advances in real-time expert system technologies",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/GWAI92.pdf"
}

@article{Akkermans1993,
  author = {Akkermans, Hans and van Harmelen, Frank and Schreiber, Guus and Wielinga, Bob},
  journal = {International Journal of Intelligent Systems},
  number = {2},
  title = {{A formalization of knowledge-level models for knowledge acquisition}},
  url = {http://www.ecn.nl/publications/O/1990},
  volume = {8},
  year = {1993},
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJIS93.pdf"
}

@InProceedings{ECAI92,
  author =       "F. van Harmelen and J. Balder",
  title =        "{(ML)}$^2$: a formal language for {KADS} models of expertise (short version)",
  booktitle =    "Proceedings of the Tenth European Conference on AI
                 (ECAI'92)",
  pages =        "582-586",
  year =         1992,
  address =      "Vienna, Austria",
  month =        aug,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92.pdf"
}

@Inbook{ECAI92WS-comp,
  author =       "F. van Harmelen and R. Lopez de Mantaras and
                  J. Malec and J. Treur",
  title =        "Comparing Formal Specification Languages",
  booktitle =    "Formal Specification of Complex Reasoning Systems",
  editor =       "J. Treur and Th. Wetter",
  series =       "Workshop Series",
  publisher =    "Ellis Horwood",
  pages =        "257-282",
  year = 1992,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf"
}

@Inbook{ESPRIT92,
  author =      "Frank van Harmelen and Bob Wielinga and
                 Bert Bredeweg and Guus Schreiber and
                 Werner Karbach and Martin Reinders and
                 Angi Vo{\ss} and Hans Akkermans and 
                 Brigitte Bartsch-Spoerl and Erik Vinkhuyzen",
  title =       "Knowledge-Level Reflection",
  booktitle =   "Enhancing the Knowledge Engineering Process --
                Contributions from {ESPRIT}",
  editor  =     "B. Le Pape and L. Steels",
  pages =       "175-204",
  publisher =   "Elsevier Science",
  address =     "Amsterdam, The Netherlands",
  year =        1992,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESPRIT92.pdf"
}

@Article{KAJ92,
  author =       "F. van Harmelen and J. Balder",
  title =        "{(ML)}$^2$: a formal language for {KADS} models of expertise",
  journal =      "Knowledge Acquisition Journal",
  year =         1992,
  volume =       4,
  number =       1,
  pages =        "127-161",
  note =         "Special issue: `The {KADS} approach to knowledge
                 engineering', reprinted in {\em {KADS}: A Principled
                 Approach to Knowledge-Based System Development}, 1993,
                 Schreiber, A.Th. {\em et al.} (eds.) ",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAJ92.pdf"
}

@InProceedings{META92,
  author =       "F. van Harmelen",
  title =        "Definable naming relations in meta-level systems",
  booktitle =    "Proceedings of the Third Workshop on Meta-programming
                 in Logic ({META'92})",
  year =         1992,
  editor =       "A. Pettorossi",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Computer Science",
  volume =       649,
  pages =        "89--104",
  address =      "Uppsala",
  month =        "June",
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/META92.pdf"
}

@Article{AIComm91,
  author = 	 {Martin Reinders and Erik Vinkhuyzen and Angi Voss and Hans Akkermans and John Balder and Brigitte Bartsch-Sporl and Bert Bredeweg and Uwe Drouven and Frank van Harmelen and Werner Karbach and Zeger Karssen and Guus Schreiber and Bob Wielinga},
  title = 	 {A Conceptual Modelling Framework for Knowledge-level Reflection},
  journal = 	 {AI Communications},
  year = 	 1991,
  volume =	 1,
  number =	 4,
  pages =	 {74-87},
  keywords = {Meta-reasoning and Reflection}
}

@article{Bundy1991,
  author = {Bundy, Alan and {van Harmelen, Frank} and Hesketh, Jane and Smaill, Alan},
  journal = {Journal of Automated Reasoning},
  keywords = {meta-reasoning and Reflection},
  pages = {303--324},
  title = {{Experiments with proof plans for induction}},
  url = {http://link.springer.com/article/10.1007/BF00249016},
  volume = {7},
  year = {1991},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JAR91.pdf"
}

@inproceedings{Bundy1990,
  author = {Bundy, Alan and Harmelen, Frank Van},
  booktitle = {Conference on Automated Deduction (CADE)},
  pages = {132--146},
  title = {{Extensions to the rippling-out tactic for guiding inductive proofs}},
  url = {http://link.springer.com/chapter/10.1007/3-540-52885-7\_84},
  volume = {449},
  year = {1990},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CADE90.pdf"
}

@inproceedings{Oyster-CLaM,
  author = {Bundy, Alan and van Harmelen, Frank and Smaill, Alan and Horn, Christian},
  booktitle = {Conference on Automated Deduction (CADE)},
  pages = {647--648},
  title = {{The OYSTER-CLAM system}},
  year = {1990},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CADE90-system.pdf"
}

@PhdThesis{Thesis89,
  author = 	 {Frank van Harmelen},
  title = 	 {Meta-level Inference Systems},
  school = 	 {Dept. of AI, Univ. of Edinburgh},
  year = 	 1989,
  note =	 {This is the commercially published version. The title of the original thesis of "On the efficiency of meta-level inference systems"},
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/thesis89.pdf"
}

@article{DBLP:journals/eik/Harmelen89,
  author    = {Frank van Harmelen},
  title     = {An Overview of Metal-level Architectures for Control in
               Experts Systems},
  journal   = {Elektronische Informationsverarbeitung und Kybernetik},
  volume    = {25},
  number    = {1/2},
  year      = {1989},
  pages     = {21-35},
  keywords = {Meta-reasoning and Reflection},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{IJCAI89,
  author    = {Alan Bundy and
               Frank van Harmelen and
               Jane Hesketh and
               Alan Smaill and
               Andrew Stevens},
  title     = {A Rational Reconstruction and Extension of Recursion Analysis},
  booktitle = "Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence ({IJCAI}'89)",
  year      = {1989},
  pages     = {359-365},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf"
}

@article{Corlett1988132,
  title = "Socrates: a flexible toolkit for building logic-based expert systems ",
  journal = "Knowledge-Based Systems",
  volume = "1",
  number = "3",
  pages = "132 - 142",
  year = "1988",
  note = "",
  issn = "0950-7051",
  doi = "http://dx.doi.org/10.1016/0950-7051(88)90071-8",
  url = "http://www.sciencedirect.com/science/article/pii/0950705188900718",
  author = "R. Corlett and N. Davies and R. Khan and H. Reichgelt and F. van Harmelen",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KBS88.pdf"
}

@Article{AIJ88,
  author =       "F. van Harmelen and A. Bundy",
  title =        "Explanation Based Generalisation = Partial Evaluation",
  journal =      "Artificial Intelligence",
  year =         1988,
  volume =       36,
  pages =        "401--412",
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf"
}

@Article{KER86,
  author = 	 {Han Reichgelt and Frank van Harmelen},
  title = 	 {Criteria for Choosing Representation Languages and Control Regimes for Expert Systems },
  journal = 	 {Knowledge Engineering review},
  year = 	 1986,
  volume =	 1,
  number =	 4,
  pages =	 {2-17},
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER86.pdf"
}

@Article{IiC84,
  author = 	 {P. Hartel and F. van Harmelen},
  title = 	 {The Analysis of Modular Structures with Respect to their Interconnect Topology},
  journal = 	 {Interfaces in Computing},
  year = 	 1984,
  volume = 	 2,
  pages = 	 {81-91},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IiC84.pdf"
}