If you made any changes in Pure these will be visible here soon.

Research Output 1988 2020

Abstract

A Deep Neural Network for Link Prediction on Knowledge Graphs

Wilcke, W. X., de Boer, V., van Harmelen, F. A. H. & de Kleijn, M. T. M., 2016. 2 p.

Research output: Contribution to ConferenceAbstractAcademic

Open Access
File

A Semantically-Enabled System for Clinical Trials

Huang, Z., ten Teije, A. C. M. & van Harmelen, F. A. H., 2013.

Research output: Contribution to ConferenceAbstractOther research output

File

User-Driven Pattern Mining on knowledge graphs: an Archaeological Case Study

Wilcke, W. X., de Boer, V. & van Harmelen, F., 9 Jun 2017. 2 p.

Research output: Contribution to ConferenceAbstractAcademic

Open Access
File
expert
paradigm
experiment
community
Article

A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems

van Harmelen, F. & ten Teije, A., Jan 2019, In : JOURNAL OF WEB ENGINEERING. 18, 1-3, p. 97-123 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

A comparison of languages which operationalise and formalise {KADS} models of expertise

Fensel, D. & van Harmelen, F. A. H., Jun 1994, In : Knowledge Engineering Review. 9, 2, p. 105-146 42 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Rapid prototyping
Knowledge engineering
Formal languages
Specification languages
Bibliographies

A Metadata Model for Semantics-Based Peer-to-Peer Systems

Ehrig, M., Tempich, C., Broekstra, J., van Harmelen, F., Sabou, M., Siebes, R., Staab, S. & Stuckenschmidt, H., 2003, In : Proceedings of the second Konferenz Professionelles Wissensmanagement. p. 1-4 4 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Metadata
Semantics
Semantic Web
Ontology
Data structures

Analyzing interactions on combining multiple clinical guidelines

Zamborlini, V., Da Silveira, M., Pruski, C., ten Teije, A., Geleijn, E., van der Leeden, M., Stuiver, M. & van Harmelen, F., 21 Mar 2017, In : Artificial Intelligence in Medicine.

Research output: Contribution to JournalArticleAcademicpeer-review

Reusability
Knowledge representation
Patient rehabilitation
Scalability
Health

Anytime classification by ontology approximation

Schlobach, S., Blaauw, E., El Kebir, M., Ten Teije, A., Van Harmelen, F., Bortoli, S., Hobbelman, M. C., Millian, K., Ren, Y., Stam, S., Thomassen, P., Van Het Schip, R. & Van Willigem, W., 2007, In : CEUR Workshop Proceedings. 291

Research output: Contribution to JournalArticleAcademicpeer-review

Ontology
Bottles
Semantics

Applying rule-base anomalies to KADS inference structures

Van Harmelen, F., Dec 1997, In : Decision Support Systems. 21, 4, p. 271-280 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Knowledge representation
Inference
Anomaly
Knowledge-based systems

A quantitative analysis of the robustness of knowledge-based systems through degradation studies

Groot, P., ten Teije, A. & van Harmelen, F., Feb 2005, In : Knowledge and Information Systems. 7, 2, p. 224-245 22 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Degradation
Chemical analysis

A reasonable Semantic Web

Hitzler, P. & Van Harmelen, F., 2010, In : Semantic Web. 1, 1-2, p. 39-44 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web
Quality assurance
Information retrieval
Learning systems
Semantics

A study of PROforma, a development methodology for clinical procedures

Vollebregt, A., ten Teije, A. C. M., van Harmelen, F. A. H., Mosseveld, M. & van der Lei, J., 1999, In : Artificial Intelligence in Medicine. 17, p. 195-221

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Knowledge engineering
Decision support systems
Software engineering
Language

A survey of languages for specifying dynamics: A knowledge engineering perspective

Van Eck, P., Engelfriet, J., Fensel, D., Van Harmelen, F., Venema, Y. & Willems, M., May 2001, In : IEEE Transactions on Knowledge and Data Engineering. 13, 3, p. 462-496 35 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge engineering
Knowledge based systems
Specification languages
Specifications
Inference engines

A Task-based Comparison of Linguistic and Semantic Document Retrieval Methods in the Medical Domain

Shafahi, M., Hu, Q., Afsarmanesh, H., Huang, Z., ten Teije, A. C. M. & van Harmelen, F. A. H., 2016, In : CEUR Workshop Proceedings. 1613

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Linguistics
Semantics
Experiments

A tool for gene expression based PubMed search through combining data sources.

Korotkiy, M., Middelburg, R. A., Dekker, H., van Harmelen, F. A. H. & Lankelma, J., 2004, In : Bioinformatics. 20, 12, p. 1980-1982 3 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Protein Databases
Information Storage and Retrieval
Nucleic Acid Databases
PubMed
Gene expression

Bibster-a semantics-based bibliographic peer-to-peer system

Haase, P., Schnizler, B., Broekstra, J., Ehrig, M., Van Harmelen, F., Menken, M., Mika, P., Plechawski, M., Pyszlak, P., Siebes, R., Staab, S. & Tempich, C., 1 Dec 2004, In : Journal of Web Semantics. 2, 1, p. 99-103 5 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Metadata
Ontology
Semantics

Configuration of Web services as parametric design

Ten Teije, A., Van Harmelen, F. & Wielinga, B., 2004, In : Lecture Notes in Computer Science. 3257, p. 321-336 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Parametric Design
Web services
Web Services
Configuration
Composite

Construction of problem-solving methods as parametric design

Ten Teije, A., Van Harmelen, F., Schreiber, A. T. & Wielinga, B. J., Oct 1998, In : International Journal of Human-computer Studies. 49, 4, p. 363-389 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge engineering
Knowledge acquisition
Railroad cars
Libraries
knowledge acquisition

Contextualizing ontologies

Bouquet, P., Giunchiglia, F., Van Harmelen, F., Serafini, L. & Stuckenschmidt, H., Oct 2004, In : Journal of Web Semantics. 1, 4, p. 325-343 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Ontology
Semantics

C-OWL: Contextualizing ontologies

Bouquet, P., Giunchiglia, F., Van Harmelen, F., Serafini, L. & Stuckenschmidt, H., 2003, In : Lecture Notes in Computer Science. 2870, p. 164-179 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Ontology
Semantics
Context
Model

Debugging incoherent terminologies

Schlobach, S., Huang, Z., Cornet, R. & Van Harmelen, F., Oct 2007, In : Journal of Automated Reasoning. 39, 3, p. 317-349 33 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Terminology
Repair
Experiments

Enabling knowledge representation on the Web by extending RDF Schema

Broekstra, J., Klein, M., Decker, S., Fensel, D., Van Harmelen, F. & Horrocks, I., 5 Aug 2002, In : Computer Networks (1999). 39, 5, p. 609-634 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge representation
Ontology
Metadata
Semantics

Enhancing reuse of structured eligibility criteria and supporting their relaxation.

Milian, K., Hoekstra, R., Bucur, A., ten Teije, A. C. M., van Harmelen, F. A. H. & Paulissen, J., 2015, In : Journal of Biomedical Informatics. 56, p. 205-219 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Ontology
Visualization
Navigation
Semantics
Libraries

Evaluating a formal KBS specification language

van Harmelen, F. A. H., Aben, M., Ruiz, F. & van de Plassche, J., Feb 1996, In : IEEE expert. 11, 1, p. 56-62 7 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Specification languages
Knowledge based systems
Formal languages

Experiences in the formalisation and verification of medical protocols

Marcos, M., Balser, M., Ten Teije, A., Van Harmelen, F. & Duelli, C., 2003, In : Lecture Notes in Computer Science. 2780, p. 132-141 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Formalization
Network protocols
Peer Review
Experience
Quality Improvement

Experiments with proof plans for induction

van Harmelen, F. A. H., Hesketh, J., Bundy, A. & Smaill, A., 1991, In : Journal of Automated Reasoning. 7, p. 303-324

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Expertise-based peer selection in Peer-to-Peer networks

Haase, P., Siebes, R. & van Harmelen, F., Apr 2008, In : Knowledge and Information Systems. 15, 1, p. 75-107 33 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Peer to peer networks
Semantics
Broadcasting
Ontology
Experiments

Explanation Based Generalisation = Partial Evaluation

van Harmelen, F. A. H. & Bundy, A., Oct 1988, In : Artificial Intelligence. 36, 3, p. 401-412 12 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Functional programming
Logic programming
Learning systems
logic
equivalence

Exploiting the structure of background knowledge used in ontology matching

Aleksovski, Z., Ten Kate, W. & Van Harmelen, F., 2006, In : CEUR Workshop Proceedings. 225

Research output: Contribution to JournalArticleAcademicpeer-review

Ontology
Experiments

Exploring Large Document Repositories with RDF Technology: The DOPE Project

Stuckenschmidt, H., Van Harmelen, F., De Waard, A., Tony, S., Bhogal, R., Van Buel, J., Crowlesmith, I., Fluit, C., Kampman, A., Broekstra, J. & van Mulligen, E., 2004, In : IEEE Intelligent Systems. 19, 3, p. 34-40 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Exploring Large Document Repositories with RDF Technology: The DOPE Project

Stuckenschmidt, H., van Harmelen, F. A. H., de Waard, A., Scerri, T., Bhogal, R., van Buel, J., Crowlesmith, I., Fluit, C., Kampman, A., Broekstra, J. & van Mulligen, E., 2004, In : IEEE Intelligent Systems & their Applications.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Automatic indexing
Thesauri
Visualization

Extraction and use of linguistic patterns for modelling medical guidelines

Serban, R., ten Teije, A., van Harmelen, F., Marcos, M. & Polo-Conde, C., Feb 2007, In : Artificial Intelligence in Medicine. 39, 2, p. 137-149 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Linguistics
Guidelines
Thesauri
Terminology
Ontology

Finding the Achilles Heel of the Web of Data : using network analysis for link-recommendation.

Gueret, C. D. M., Groth, P. T., van Harmelen, F. A. H. & Schlobach, S., 2010, In : Lecture Notes in Computer Science. 6496

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Formalisation for decision support in anaesthesiology

Renardel de Lavalette, G. R., Groenboom, R., Rotterdam, E., van Harmelen, F., ten Teije, A. & de Geus, F., Nov 1997, In : Artificial Intelligence in Medicine. 11, 3, p. 189-214 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Anesthesiology
Knowledge Bases
System program documentation
Specification languages
Documentation

Formally verifying dynamic properties of KBS

Groot, P., ten Teije, A. C. M. & van Harmelen, F. A. H., 1999, In : Lecture Notes in Computer Science. 1621, p. 157-172

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Methods in Knowledge Engineering

van Harmelen, F. A. H. & Fensel, D., Dec 1995, In : Knowledge Engineering Review. 10, 4, p. 345-360 16 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Knowledge engineering
Formal methods

Formal support for development of knowledge-based systems

Fensel, D., van Harmelen, F., Reif, W. & ten Teije, A., 1998, In : Failure and Lessons …. p. 1-18 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal specification
Formal verification

Formal Support for Development of Knowledge-Based Systems

Fensel, D., Van Harmelen, F., Reif, W. & Ten Teije, A., 1998, In : Failure and Lessons …. 2, 4, p. 173-182 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal specification
Formal verification

From SHIQ and RDF to OWL:The Making of a Web Ontology Language

Horrocks, I., Patel-Schneider, P. & van Harmelen, F., 2003, In : Journal of Web Semantics. 1, 1, p. 7-26 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Ontology
Semantics
Formal languages

Generating and managing metadata for Web-based information systems

Stuckenschmidt, H. & Van Harmelen, F., Aug 2004, In : Knowledge-Based Systems. 17, 5-6, p. 201-206 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Metadata
Information systems
Web-based
World Wide Web

How the semantic web will change KR: Challenges and opportunities for a new research agenda

Van Harmelen, F., Mar 2002, In : Knowledge Engineering Review. 17, 1, p. 93-96 4 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge representation
Semantic Web

Hybrid reasoning on OWL RL

Urbani, J., Piro, R., van Harmelen, F. A. H. & Bal, H. E., 2013, In : Semantic Web.

Research output: Contribution to JournalArticleAcademicpeer-review

File

Improving medical protocols by formal methods

ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K. C. J. G. M. & Seyfang, A., Mar 2006, In : Artificial Intelligence in Medicine. 36, 3, p. 193-209 17 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Formal methods
Network protocols
Quality Improvement
Language
Language Development

Inferring recommendation interactions in clinical guidelines

Carretta Zamborlini, V., Hoekstra, R., Da Silveira, M., Pruski, C., ten Teije, A. C. M. & van Harmelen, F. A. H., 2016, In : Semantic Web. 7, 4, p. 421-446 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Drug interactions
Medical problems
Semantic Web

Informal and formal medical guidelines: Bridging the gap

Geldof, M., Ten Teije, A., Van Harmelen, F., Marcos, M. & Votruba, P., 2003, In : Lecture Notes in Computer Science. 2780, p. 173-178 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Explosions
Formalization
Explosion

Interview with Frank van Harmelen on "Linked Data and Business Information Systems"

Auer, S. & van Harmelen, F., Oct 2016, In : Business & Information Systems Engineering. 58, 5, p. 371-373

Research output: Contribution to JournalArticleProfessional

It's a streaming world! Reasoning upon rapidly changing information

Della Valle, E., Ceri, S., Van Harmelen, F. & Fensel, D., Nov 2009, In : IEEE Intelligent Systems. 24, 6, p. 83-89 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Network protocols
Blogs
Query processing
Semantic Web
Sensor networks

Knowledge-based Patient Data Generation

Huang, Z., van Harmelen, F. A. H., ten Teije, A. C. M. & Dentler, K., 2013, In : Lecture Notes in Computer Science. 8268, p. 11-25

Research output: Contribution to JournalArticleAcademicpeer-review

File

LOD Laundromat: Why the Semantic Web needs centralization (even if we don't like it)

Beek, W., Rietveld, L., Schlobach, S. & van Harmelen, F., 1 Mar 2016, In : IEEE Internet Computing. 20, 2, p. 78-81 4 p., 7420493.

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web

MARVIN: Distributed reasoning over large-scale Semantic Web data

Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R. M., ten Teije, A. C. M. & van Harmelen, F. A. H., 2009, In : Journal of Web Semantics. 7, 4

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web
Resource allocation
Scalability
Throughput
Topology