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

Research Output 1988 2020

2002

From informal knowledge to formal logic: A realistic case study in medical protocols

Marcos, M., Balser, M., Ten Teije, A. & van Harmelen, F., 2002, Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web - 13th International Conference, EKAW 2002, Proceedings. Springer/Verlag, Vol. 2473. p. 49-64 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2473).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Formal logic
Logic
Network protocols
Formalization
Knowledge representation

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

Learning Structural Classification Rules for Web-page Categorization

Stuckenschmidt, H., Hartmann, J. & Van Harmelen, F., 2002.

Research output: Contribution to ConferencePaperOther research output

Websites
Metadata
Logic programming
Syntactics
Experiments

Ontology-based Information Visualisation

Geroimenko, V. (ed.), Fluit, C., Sabou, M. & van Harmelen, F., 2002, Visualising the Semantic Web. Geroimenko, V. (ed.). Washington, DC, USA: Springer/Verlag, (Visualising the Semantic Web).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Information Visualization
Ontology
Visualization
Ontology
Broadcasting

Reviewing the design of DAML+OIL: An ontology language for the Semantic Web

Horrocks, I., Patel-Schneider, P. F. & Van Harmelen, F., 2002, Proceedings of the National Conference on Artificial Intelligence. p. 792-797 6 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Syntactics
Semantic Web
XML
World Wide Web
Ontology

Sesame: A generic architecture for storing and querying RDF and RDF Schema

Broekstra, J., Kampman, A. & Van Harmelen, F., 2002, The Semantic Web, ISWC 2002 - First International Semantic Web Conference, Proceedings. Vol. 2342 LNCS. p. 54-68 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2342 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Schema
Semantics
Engines
Concurrency control
Query languages
2001

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

Knowledge-based validation, aggregation, and visualization of meta-data: Analyzing a web-based information system

Stuckenschmidt, H. & Van Harmelen, F., 2001, Web Intelligence: Research and Development - 1st Asia-Pacific Conference, WI 2001, Proceedings. Springer/Verlag, Vol. 2198. p. 217-226 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2198).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Web-based System
Knowledge-based
Metadata
Information Systems
Aggregation

OIL Ontology Infrastructure to Enable the Semantic Web

Fensel, D., Horrocks, I., Harmelen, F. V. & McGuinness, D. L., 2001, In : Intelligent Systems, IEEE. 16, 2, p. 38-45 8 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web
Ontology
Semantics
Industry

Ontology-based Information Visualisation

Harmelen, F. V., Broekstra, J., Fluit, C., ter Horst, H., Kampman, A., Van Der Meer, J. & Sabou, M., 2001.

Research output: Contribution to ConferencePaperOther research output

Information Visualization
Ontology
Visualization
Semantic Web

Ontology-based metadata generation from semi-structured information

Stuckenschmidt, H. & Van Harmelen, F., 2001, Proceedings of the First International Conference on Knowledge Capture. p. 163-170 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Metadata
Ontology
Specifications
World Wide Web
Websites

Using critiquing for improving medical protocols: Harder than it seems

Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H. & Miksch, S., 2001, Artificial Intelligence in Medicine - 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Proceedings. Springer/Verlag, Vol. 2101. p. 431-441 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2101).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Pediatrics
Automation
Recommendations
Test Set
Formal Model
2000

"Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.

Verberne, A. S., van Harmelen, F. A. H. & ten Teije, A. C. M., 2000, Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'00}).. Giunchiglia, F. & Selman, B. (eds.). Boulder, Colorado: KR Inc., 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Describing Problem Solving Methods using Anytime Performance profiles.

van Harmelen, F. A. H. & ten Teije, A. C. M., 2000, Proceedings of 14th European Conference on AI, ECAI'00.. Horn, W. (ed.). Amsterdam: IOS Press, 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Knowledge-Based Meta-Data Validation: Analyzing a Web-Based Information System.

van Harmelen, F. A. H., Kampman, A., Stuckenschmidt, H. & Vogele, T., 2000, Fourtheenth International Symposium Informatics for Environmental Protection.. Greve, K. (ed.). German Computer Society, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge Representation on the Web

Decker, S., Fensel, D. A., van Harmelen, F. A. H., Horrocks, I., Melnik, S., Klein, M. & Broekstra, J., 2000, International Workshop on Description Logics ({DL}'00).. Baader, F. (ed.). Aachen: University of Aachen

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge Representation on the Web.

Fensel, D. A., van Harmelen, F. A. H., Horrocks, I., Melnik, S., Klein, M. C. A. & Broekstra, J., 2000, In Proceedings of the 2000 International Workshop on Description Logics (DL2000):89-97.. Aachen, Germany

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Maintenance of KBS's by Domain Experts: The Holy Grail in Practice.

van Harmelen, F. A. H., Kuipers, J. & Bultman, A., 2000, Thirtheenth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE'00. Logananthara, R., Palm, G. & Ali, M. (eds.). Springer Verlag, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Maintenance of KBS’s by domain experts the holy grail in practice

Bultman, A., Kuipers, J. & Van Harmelen, F., 2000, Intelligent Problem Solving: Methodologies and Approaches - 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, Proceedings. Springer/Verlag, Vol. 1821. p. 139-149 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1821).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Maintenance
Task Model
Knowledge Engineering
Knowledge engineering
Domain Ontology

OIL & UPML: A Unifying Framework for the Knowledge Web.

Fensel, D. A., Crubezy, M., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 4.1-4.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL and UPML: a unifying framework for the Knowledge Web.

Fensel, D. A., Cruzeby, M., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the {ECAI}'00 workshop on application of ontologies and problem-solving methods.. Benjamins, R. (ed.). Berlijn: ECCAI, 15 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Springer-Verlag

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Knowledge Acquisition, Modeling, and Management, Proceedings of the European Knowledge Acquisition Conference (EKAW-2000).. Dieng, R. (ed.). Springer-Verlag, p. 1-16 (Lecture Notes in Artificial Intelligence, LNAI).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

File

On-To-Knowledge: Ontology-based Tools for Knowledge Management

Fensel, D. A., van Harmelen, F. A. H., Klein, M., Akkermans, J. M., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Hughes, J., Krohn, U., Davies, J., Engels, R., Bremdal, B., Ygge, F., Lau, T., Novotny, B., Reimer, U. & Horrocks, I., 2000, eBusiness and eWork.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

OnToKnowledge: Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M. C. A., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain, p. 1105-1110

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Questions and answers OIL.

van Harmelen, F. A. H. & Horrocks, I., 2000, In : IEEE Intelligent Systems. 15, 6, p. 69-72

Research output: Contribution to JournalArticleAcademicpeer-review

File

The DARPA agent markup language

Lassila, O., van Harmelen, F., Horrocks, I., Hendler, J. & McGuinness, DL., 2000, In : IEEE Intelligent Systems & their Applications. 15, 6, p. 67-73 7 p.

Research output: Contribution to JournalArticleProfessional

Markup languages
Semantic Web
World Wide Web
Software engineering
Communication

The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema.

Klein, M. C. A., Fensel, D. A., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 7.1-7.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

The relation between ontologies and schema-languages: Translating OIL-specifications in XML-schema.

van Harmelen, F. A. H., Klein, M., Fensel, D. A. & Horrocks, I., 2000, Proceedings of the {ECAI}'00 workshop on applications of ontologies and problem-solving methods.. Benjamins, R. (ed.). Berlijn: ECCAI, 12 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

The Semantic Web: The roles of XML and RDF

Decker, S., Melnik, S., van Harmelen, F. A. H., Fensel, D. A., Klein, M., Broekstra, J., Erdmann, M. & Horrocks, I., 2000, In : IEEE Intelligent Systems & their Applications. 15, 3

Research output: Contribution to JournalArticleAcademicpeer-review

The Semantic Web: The roles of XML and RDF.

Decker, S., Melnik, S., van Harmelen, F. A. H., Fensel, D. A., Klein, M., Broekstra, J., Erdmann, M. & Horrocks, I., 2000, In : IEEE Internet Computing. 15, 3, p. 63-74

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web
XML
Ontology
Interoperability
World Wide Web

The semantic Web and its languages

Lassila, O., van Harmelen, F., Horrocks, I., Hendler, J. A. & McGuinness, D. L., 2000, In : IEEE Intelligent Systems & their Applications. 15, 6, p. 67-73 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Semantic Web
XML
Semantics
Availability
Industry

The Semantic Web - on the respective Roles of XML and RDF.

Decker, S., van Harmelen, F. A. H., Broekstra, J., Erdmann, M., Fensel, D. A., Horrocks, I., Klein, M. C. A. & Melnik, S., 2000, In : IEEE Internet Computing. p. 63-74

Research output: Contribution to JournalArticleAcademicpeer-review

File
Semantic Web
XML
Ontology
Interoperability
World Wide Web

Torture tests: A quantitative analysis for the robustness of knowledge-based systems

Groot, P., Van Harmelen, F. & ten Teije, A., 2000, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS. Vol. 1937. p. 403-418 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Torture tests: a quantitative analysis for the robustness of Knowledge-Based Systems.

Groot, P. C., van Harmelen, F. A. H. & ten Teije, A. C. M., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Berlijn: Springer-Verlag, p. 403-418

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File
1999

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

Describing Problem Solving Methods using Anytime Performance profiles

ten Teije, A. C. M. & van Harmelen, F. A. H., 1999, Proceedings of the IJCAI'99 Workshop on Ontologies and Problem Solving Methods, 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

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

Practical Knowledge Representation for the Web.

van Harmelen, F. A. H. & Fensel, D. A., 1999, In Proceedings of the Workshop on Intelligent Information Integration (III99) during IJCAI-99, Stockholm, Sweden, August 1999..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Practical Knowledge Representation for the Web.

van Harmelen, F. A. H. & Fensel, D. A., 1999, Proceedings of the IJCAI'99 Workshop on Intelligent Information Integration", 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

WebMaster: Knowledge-based Verification of Web-pages

van Harmelen, F. A. H. & van der Meer, J., 1999, In : Lecture Notes in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

1998

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

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

Specification of Dynamics for Knowledge-Based Systems

van Eck, P., Engelfriet, J., Fensel, D., van Harmelen, F. A. H., Venema, Y. & Willems, M., 1998, Transactions and Change in Logic Databases: Invited Surveys and Selected Papers. Freitag, B. (ed.). Springer, p. 37-68 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1472).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Knowledge-based Systems
Knowledge based systems
Specification
Specifications
Specification languages
1997

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

Exploiting domain knowledge for approximate diagnosis

ten Teije, A. & van Harmelen, F. A. H., 1997, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence ({IJCAI}'97). p. 454-459

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Railroad cars

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