Towards Correspondence Patterns for Ontology Mediation ⋆ (2009)
François Scharffe, Ying Ding, Dieter Fensel
Abstract. We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineering, we...
Aligning WSMO and WS-Policy ⋆ (2009)
Dumitru Roman, Ioan Toma, Dieter Fensel
Abstract. Service-Oriented Architectures (SOAs) suggest that IT systems should be developed from coarse-grained, loosely coupled, business-aligned components, so called services. One way towards...
Frank Leymann, Chris Bussler, John Domingue, Er Wahler, Dieter Fensel
Business Process Management (BPM) is the approach to manage the execution of IT-supported business operations from a business expert’s process view rather than from a technical perspective. The...
SOA4All, Enabling the SOA Revolution on a World Wide Scale (2009)
John Domingue, Dieter Fensel, Rafael González-cabero
SOA4All will help to realize a world where billions of parties are exposing and consuming services via advanced Web technology. The outcome of the project will be a comprehensive framework and...
Using Triple-Space Computing for communication and coordination in Semantic Grid (2009)
Omair Shafiq, Ioan Toma, Reto Krummenacher, Thomas Strang, Dieter Fensel
Abstract: Triple Space Computing is a new communication and coordination paradigm for Semantic Web Services. It has been achieved by extending Tuple Space Computing to support RDF as Triple Space...
• The ρ Operator: Discovering and Ranking Associations on the Semantic Web – (2009)
Steffen Staab, Rudi Studer, Christoph Bussler, Dieter Fensel, Er Maedche, Kemafor Anyanwu, ...
NSF-EU NSF EU Workshop on
Ontobroker: Transforming the WWW into a Knowledge Base (2009)
Dieter Fensel, Michael Erdmann, Stefan Decker, Rudi Studer
Abstract. The World Wide Web (WWW) could be viewed as the largest knowledge base that has ever existed. However, its support in automated inference is very limited. We propose formalized ontologies...
Towards Scalable Information Spaces (2009)
Reto Krummenacher, Elena Simperl, Dieter Fensel
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale distributed IT...
Identifier Deliverable 1.1, Chapter 1. Class Deliverable (2008)
Dieter Fensel, Enrico Motta, V. Richard Benjamins, Stefan Decker, Mauro Gaspari, Rix Groenboom, ...
Abstract. Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-solving Method description Language...
Abstract Knowledge Engineering: Principles and Methods (2008)
Rudi Studer, V. Richard Benjamins, Dieter Fensel, Key Words
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and describe two...
The Semantic Web: A Brain (2008)
For Humankind, Dieter Fensel, Mark A. Musen
Originally, the computer was intended as a device for computation. Then, in the 1980s, the PC developed into a system for games, text processing, and PowerPoint pre-sentations. Eventually, the...
Semantic Web: Why, What, and How? (2008)
Dieter Fensel, Jim Hendler, Henry Lieberman, Wolfgang Wahlster
Dumitru Roman, Holger Lausen, Uwe Keller, Jos De Bruijn, Christoph Bussler, John Domingue, ...
This document is also available in a non-normative PDF version. This document presents an ontology called Web Service Modeling Ontology (WSMO) for describing various aspects related to Semantic Web...
First-order Logic theorem prover. (2008)
Uwe Keller, Michael Stollberg, Dieter Fensel
Abstract. A major merit of the Web Service Modeling Ontology WSMO is the wellstructured and unambiguous definition of the description elements for its components. This allows developing concise,...
Reto Krummenacher, Thomas Strang, Dieter Fensel
Triple Space Computing is a communication and coordination paradigm for Web services that combines space-based computing and the Semantic Web. Triple Spaces aim at providing a web that is optimized...
Using Triple Space computing for communication and coordination in Semantic Grid (2008)
Omair Shafiq, Ioan Toma, Reto Krummenacher, Thomas Strang, Dieter Fensel
Abstract: Triple Space Computing is a new communication and coordination paradigm for Semantic Web Services. It has been achieved by extending Tuple Space Computing to support RDF as Triple Space...
An Evaluation of Discovery approaches in Grid and Web services Environments ∗ (2008)
Ioan Toma, Kashif Iqbal, Matthew Moran, Dumitru Roman, Thomas Strang, Dieter Fensel
Abstract: The challenge of finding services or resources in Web services and Grid environments has recently been the subject of a lot of attention. Different solutions to this problem were proposed,...
The list of the WSMO Working Group members can be found at: (2008)
The Wsmo, John Domingue, Dieter Fensel
This paper outlines some of the main issues related to the semantic modeling of Web Services and provides an overview of the Web Service Modeling Ontology (WSMO)- an ontology for Semantic Web...
Abstract Knowledge Engineering: Principles and Methods (2008)
Rudi Studer, V. Richard Benjamins, Dieter Fensel, Key Words
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and describe two...
Semantically-enabled Service-oriented Architectures: A Catalyst for Smart Business Networks (2008)
Hannes Werthner, Dieter Fensel, Jürgen Dorn
Smart Business Networks are two things: Firstly, an emerging concept for the agile composition of e-business value chains, and secondly a new stream of research. While there exists a coherent vision...
Semantic Web Languages. Strengths and Weakness (2008)
Sinuhé Arroyo, Rubén Lara, Ying Ding, Michael Stollberg, Dieter Fensel
The current web suffers information overloading: it is increasingly difficult and time consuming to obtain information desired. Ontologies, the key concept behind the Semantic Web, will provide the...
Modeling Services for the Semantic Grid ⋆ Extended Abstract (2008)
Axel Polleres, Ioan Toma, Dieter Fensel
The Grid has emerged as a new distributed computing infrastructure for advanced
Semantic Web Service Offer Discovery (2008)
Abstract. Semantic Web Services are a research effort to automate the usage of Web services, a necessary component for the Semantic Web. Traditionally, Web service discovery depends on detailed...
Reto Krummenacher, Thomas Strang, Dieter Fensel
Triple Space Computing is a communication and coordination paradigm for Web services that combines space-based computing and the Semantic Web. Triple Spaces aim at providing a web that is optimized...
.QRZOHGJH (QJLQHHULQJ 6XUYH \ DQG)XWXUH 'LUHFWLRQV (2008)
Rudi Studer, Dieter Fensel, Stefan Decker, V. Richard Benjamins
$EVWUDFW This paper provides an overview of important developments in the field of Knowledge Engineering. We discuss the paradigm shift from a transfer to a modeling approach and discuss two...
1. On-To-Knowledge: Semantic Web Enabled Knowledge Management (2008)
York Sure, Hans Akkermans, Jeen Broekstra, John Davies, Alistair Duke, Robert Engels, ...
Summary. On-To-Knowledge builds an ontology-based tool environment to improve knowledge management, dealing with large numbers of heterogeneous, distributed, and semi-structured documents typically...
KNOWLEDGE NETWORKING THE SEMANTIC WEB: The Roles of XML and RDF (2008)
Stefan Decker, Sergey Melnik, Frank Van Harmelen, Dieter Fensel, Michel Klein, Michael Erdmann, ...
XML and RDF are the current standards for establishing semantic interoperability on the Web, but XML addresses only document structure. RDF better facilitates interoperation because it provides a...
such a standard. OIL: An Ontology Infrastructure for the Semantic Web (2008)
Dieter Fensel, Ian Horrocks, Deborah L. Mcguinness
T h e S e m a n t i c W e b
Peering Unifying Reasoning and Search to Web Scale (2008)
We recently heard about a telecom project that required reasoning about 10 billion RDF triples (statements of the form <subject, relation, object>) in less than 100 ms. The use case was defined...
1 Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-based Systems (2008)
We investigate the formal specification of the reasoning process ofknowledge-based systems in this paper. We analyze the corresponding parts of the KADS specification languages KARL and (ML) 2 and...
2.2 Functional Requirements for Next Generation Knowledge Management Systems..5 (2008)
Michael Stollberg, Anna V. Zhdanova, Dieter Fensel, Michael Stollberg
ABSTRACT..........................................................................................................................................................1
Dieter Fensel, Jürgen Angele, Stefan Decker, Michael Erdmann, Rudi Studer, Andreas Witt
Abstract. Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web or...
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-based Systems (2008)
Abstract. We investigate the formal specification of the reasoning process of knowledge-based systems in this paper. We analyze the corresponding parts of the KADS specification languages KARL and...
How to Use Ontobroker- Demonstration- (2008)
Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
Abstract. The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its information retrieval mechanisms and the provided reasoning services are rather...
1 The Role of Assumptions in Knowledge Engineering (2008)
Dieter Fensel, V. Richard Benjamins
Abstract. Problem-solving methods are means to describe the inference process of knowledge-based systems. During the last years, a number of these problemsolving methods have been identified that can...
Open answer set programming combines the strengths of logic programming (a rule-based presentation and a nonmonotonic semantics) and description logics (open domains). Reasoning under an open answer...
Semantically-enabled Service-oriented Architectures: A Catalyst for Smart Business Networks (2008)
Hannes Werthner, Dieter Fensel, Jürgen Dorn
Smart Business Networks are two things: Firstly, an emerging concept for the agile composition of e-business value chains, and secondly a new stream of research. While there exists a coherent vision...
Distributed Web Service Discovery Architecture (2008)
Brahmananda Sapkota Dumitru, Dumitru Roman, Dieter Fensel
In this paper, we present a distributed Web service discovery architecture that is designed to be reliable, flexible and scalable. The architecture is based on the concept of distributed shared space...
Semantic Web Portals -- State of the Art (2008)
Survey Holger Lausen, Holger Lausen, Michael Stollberg, Rubén Lara Hernández, Ying Ding, Sung-kook Han, ...
Web portals are entry points for information presentation and exchange over the internet used by a community of interest. Therefore they require efficient support for communication and information...
Dieter Fensel, Jürgen Angele, Stefan Decker, Micael Erdmann, Hans-peter Schnurr, Rudi Studer, ...
Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web or...
Situation and Perspective of Knowledge Engineering (2007)
Rudi Studer, Stefan Decker, Dieter Fensel, Steffen Staab
Abstract. Knowledge Engineering was in the past primary concerned with building and developing knowledge-based systems, an objective which puts Knowledge
A Formal Semantics and Axiomatization for Specifying the Dynamics of Knowledge-based Systems (2007)
We study the KADS specification languages KARL and (ML) 2 in a states as algebras setting. The essence of these languages is that they integrate a declarative specification of inferences together...
Adding Semantics to the Web (2007)
. Currently computers shift from a single isolated device to an entry point in a world wide network of information exchange and business transactions. Therefore, support in data, information, and...
Graphicaland Formal Knowledge Specification With Karl (2007)
: The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description...
Editorial: Software/Knowledge Sharing and Reuse via Networks (2007)
Richard Benjamins And, V. Richard Benjamins, Dieter Fensel
stomized for web environments focusing on the clustering and retrieval of software components. The paper of Molina, Sierra and Cuena describes a framework for software-component reuse based on a...
Formal support for Development of Knowledge-Based Systems (2007)
Dieter Fensel, Frank Van Harmelen, Wolfgang Reif, Annette Ten Teije
The paper provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific...
Editorial: Software/Knowledge Sharing and Reuse via Networks (2007)
Richard Benjamins And, V. Richard Benjamins, Dieter Fensel
b environments focusing on the clustering and retrieval of software components. The paper of Molina, Sierra and Cuena describes a framework for software-component reuse based on a knowledge modeling...
Demonstration Stefan Decker, Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
. The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its information retrieval mechanisms and the provided reasoning services are rather limited....
V. Richard Benjamins, Dieter Fensel, V. Richard-polar, B. -little
Introduction The track on "Sharable and Reusable Problem-Solving Methods" was one of the nine tracks organized at the tenth Knowledge Acquisition Workshop (1996), Banff, Canada, and was...
Community is Knowledge! in (KA)² (2007)
V. Richard Benjamins, Dieter Fensel
The Knowledge Annotation Initiative of the Knowledge Acquisition Community, (KA) 2 is an initiative to develop an ontology that models the knowledge acquisition community (its researchers, topics,...
Graphical And Formal Knowledge Specification With KARL (2007)
: The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description...
Michel Klein, Atanas Kiryakov, Damyan Ognyanoff, Dieter Fensel
specifying relations between ontology versions
The Relation between Ontologies and (2007)
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
and XML schemas
Dieter Fensel, Frank Van Harmelen
In the field of Knowledge Engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the construction of knowledgebased systems. Instead...
1 A Case Study: Assumptions and Limitations of a Problem-Solving Method (2007)
Subject of the paper: Expert systems, knowledge acquisition, knowledge engineering Summary. The paper attempts a step in the direction of competence theories of reusable problem-solving methods for...
On-To-Knowledge: Semantic Web Enabled Knowledge Management, submitted to (2007)
Dieter Fensel, Frank Van Harmelen, Ying Ding, Michel Klein, Hans Akkermans, ...
Abstract. On-To-Knowledge builds an ontology-based tool environment to speed up knowledge management, dealing with large numbers of heterogeneous, distributed, and semi-structured documents typically...
Borys Omelayenko, Dieter Fensel
Electronic marketplaces for B2B electronic commerce bring together lots of suppliers and buyers, and mediate their business transactions. This requires the marketplaces to be able to integrate a...
Product Data Integration in B2B (2007)
Dieter Fensel, Ying Ding, Borys Omelayenko, Ellen Schulten, Heloise Ontology Associates, ...
commerce, we need intelligent solutions for mechanizing the process of structuring, standard-izing, aligning, and personalizing data. This article surveys the overall content-management process and...
Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank Harmelen, Ian Horrocks
This URL will also contain a link to the author’s home page. The publishers will keep this article on-line on the Internet (or its possible replacement network in the future) for a period of 25...
The Relation between Ontologies and (2007)
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
and XML schemas
KNOWLEDGE NETWORKING THE SEMANTIC WEB: The Roles of XML and RDF (2007)
Stefan Decker, Sergey Melnik, Frank Van Harmelen, Dieter Fensel, Michel Klein, Michael Erdmann, ...
XML and RDF are the current standards for establishing semantic interoperability on the Web, but XML addresses only document structure. RDF better facilitates interoperation because it provides a...
Borys Omelayenko, Dieter Fensel
Electronic marketplaces for B2B electronic commerce serve a great mission of bringing together lots of suppliers and buyers including small and medium enterprises into a world-wide global trade....
Creating of Semantic Web (2007)
Dieter Fensel, Dieter Fensel, Jim Hendler, Jim Hendler, Henry Lieberman, Henry Lieberman, ...
The World-wide Web (WWW) has drastically changed the availability of electronically available information.
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Abstract. Currently computers are changing from single isolated devices to entry points in a world wide network of information exchange and business transactions called the World Wide Web (WWW)....
Stefan Decker, Dieter Fensel, Frank Van Harmelen, Sergey Melnik, Michel Klein, Jeen Broekstra
Exploiting the full potential of the World Wide Web will require semantic as well as syntactic interoperability. This can best be achieved by providing a further representation and inference layer...
The Role of Ontologies in Information Interchange (2007)
Abstract. Currently computers are changing from single isolated devices to entry points in a world wide network of information exchange and business transactions called the World Wide Web (WWW)....
The Relation between Ontologies and (2007)
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
and XML schemata
Datum: 5.2.99 1 On2broker in a Nutshell (2007)
Dieter Fensel, Andreas Witt, Jrgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, ...
Abstract. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the...
Dieter Fensel, Frank Van Harmelen, Wolfgang Reif, Annette Ten Teije
The paper provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific...
such a standard. OIL: An Ontology Infrastructure for the Semantic Web (2007)
Dieter Fensel, Deborah L. Mcguinness
T h e S e m a n t i c W e b
Dynamic Networks of Formally Represented Meaning (2007)
Abstract. The computer was invented as a device for computation. Meanwhile the "computer " becomes a portal to cyberspace. It has become an entry point to a world-wide network of...
Artificial Intelligence Labs, OntoText Lab., Bulgaria. (2007)
Dieter Fensel, Frank Van Harmelen, Ying Ding, Michel Klein, Peter Mika, Hans Akkermans, ...
Version 3.0
Discovery in Grid and Web Services Environments: A Survey and Evaluation (2007)
Toma, Ioan, Iqbal, Kashif, Roman, Dumitru, Strang, Thomas, Fensel, Dieter, Sapkota, Brahmananda, ...
An important step in realizing the vision of both Web services and Grid is the provision of a robust, automatic and reliable solution for finding services or resources in such environments. Different...
Ontobroker: the very high idea. (2007)
Fensel, Dieter, Decker, Stefan, Erdmann, Michael, Studer, Rudi
Ontobroker: or how to enable intelligent access to the WWW. (2007)
Fensel, Dieter, Decker, Stefan, Erdmann, Michael, Studer, Rudi
The technical core of Ontobroker [online]. (2007)
Decker, Stefan, Fensel, Dieter, Erdmann, Michael, Studer, Rudi
Specification of dynamics for knowledge-based systems. (2007)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Harmelen, Frank Van, Venema, Yde, Willems, Mark
Modellbasiertes und Inkrementelles Knowledge Engineering: der MIKE Ansatz. (2007)
Angele, Jürgen, Fensel, Dieter, Landes, Dieter, Neubert, Susanne
On2broker: lessons learned from applying AI to the web. (2007)
Fensel, Dieter, Angele, Jürgen, Decker, Stefan, Erdmann, Michael, Schnurr, Hans-Peter, Studer, Rudi, ...
Combining KARL and CRLM for designing vertical transportation systems. (2007)
Poeck, Karsten, Fensel, Dieter, Landes, Dieter, Angele, Jürgen
Specification and verification of knowledge-based systems. (2007)
Fensel, Dieter, Schoenegge, Arno, Groenboom, Rix, Wielinga, Bob
Ontologies and the configurations of problem-solving methods. (2007)
Studer, Rudi, Eriksson, Henrik, Gennari, John, Tu, Samson, Fensel, Dieter, Musen, Mark
Integrating semiformal and formal methods in knowledge-based systems development. (2007)
Fensel, Dieter, Landes, Dieter, Neubert, Susanne, Studer, Rudi
Using ontologies for defining tasks, problem-solving methods and their mappings. (2007)
Fensel, Dieter, Motta, Enrico, Decker, Stefan, Zdrahal, Zdenek
Specification of dynamics for knowledge-based systems. Extended abstract. (2007)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Harmelen, Frank Van, Venema, Yde, Willems, Mark
Making knowledge engineering technology work. (2007)
Benjamins, Richard, Fensel, Dieter, Pierret-Golbreich, Christine, Motta, Enrico, Studer, Rudi, Wielinga, Bob
Developing knowledge-based systems with MIKE. (2007)
Angele, Jürgen, Fensel, Dieter, Landes, Dieter, Studer, Rudi
Tomas Vitvar, Dieter Fensel, Tomas Vitvar
Copyright c ○ 2007 DERI R ○ All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. In this deliverable we define a minimal set of semantic service...
Semantic Web Services, Part 2 (2007)
David Martin, John Domingue, Amit Sheth, Steve Battle, Katia Sycara, Dieter Fensel, ...
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying...
D.: A Social Networking Model of a Web Community (2007)
Anna V. Zhdanova, Livia Predoiu, Tassilo Pellegrini, Dieter Fensel
Abstract. We propose a model to represent closeness between entities within Web communities and social networks/folksonomies conceptually and numerically, and a community dynamics notification...
An Ontology-Driven Approach To Reflective Middleware (2007)
Reto Krummenacher, Elena Simperl, Dieter Fensel
Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues arising in large scale distributed...
D.: Semantically-enabled service oriented architecture: concepts, technology and application (2007)
Tomas Vitvar, Adrian Mocan, Mick Kerrigan, Michal Zaremba, Maciej Zaremba, Matthew Moran, ...
Abstract Semantically-enabled Service Oriented Architecture focused around principles of service orientation, semantic modeling, intelligent and automated integration defines grounds for a...
Mick Kerrigan, Adrian Mocan, Martin Tanler, Dieter Fensel
Abstract. The time of engineers is a precious commodity. This is especially true for engineers of semantic descriptions, who need to be highly skilled in conceptual modeling, a skill which will be in...
F.: Unifying reasoning and search to web scale (2007)
We recently heard about a telecom project that required reasoning about 10 billion RDF triples (statements of the form <subject, relation, object>) in less than 100 ms. The use case was defined...
SESA: Emerging Technology for Service-Centric Environments (2007)
Vitvar, Tomas, Zaremba, Michal, Zaremba, Maciej, Moran, Matthew, Fensel, Dieter
Service-oriented architectures - and particularly the Web service technologies that enable them, such as WSDL (Web Services Description Language) and SOAP - are widely acknowledged for their...
Modeling QoS characteristics in WSMO (2006)
Toma, Ioan, Foxvog, Douglas, Jaeger, Michael C., Roman, Dumitru, Strang, Thomas, Fensel, Dieter
Service oriented architectures (SOAs) are becoming widespread solutions for realizing distributed applications. They promote a service view of the world in which functionalities exposed as services...
Triple Spaces for a Ubiquitous Web of Services (2006)
Krummenacher, Reto, Strang, Thomas, Fensel, Dieter
Triple Space Computing is a communication and coordination paradigm for Web services that combines space-based computing and the Semantic Web. Triple Spaces aim at providing a web that is optimized...
Using Triple-Space Computing for communication and coordination in Semantic Grid (2006)
Shafiq, Omair, Toma, Ioan, Krummenacher, Reto, Strang, Thomas, Fensel, Dieter
Triple Space Computing is a new communication and coordination paradigm for Semantic Web Services. It has been achieved by extending Tuple Space Computing to support RDF as Triple Space Computing and...
Web service discovery a reality check (2006)
Deri Innsbruck, Www. Deri. Org/korea, Daniel Bachlechner, Daniel Bachlechner, Katharina Siorpaes, Katharina Siorpaes, ...
Web services are about the integration of applications via the web. Hereby, the programming effort should be minimized through the reuse of standardized components and interfaces. Semantic web...
Darko Anicic, Michael Brodie, Jos De Bruijn, Dieter Fensel, Thomas Haselwanter, Stijn Heymans, ...
www.deri.us Abstract. The researchers in DERI Innsbruck have been building an execution infrastructure for the Semantic Web Services (SWS) based on the Services Oriented Architecture (SOA) paradigm...
Ying Ding, Dieter Fensel, Stijn Heymans, Holger Lausen, Birgit Leiter, ...
Moving from software to serviceware and from syntax to semantics Jos de Bruijn, Alice Carpentier,
Semantic Web Services Grounding (2006)
Jacek Kopecky, Dumitru Roman, Matthew Moran, Dieter Fensel
Semantic Web Services frameworks like OWL-S and WSMO combine semantic descriptions of Web service capabilities, inputs, outputs and behavior with the syntactic interface descriptions in WSDL and XML...
Semantic Web Services - Concepts and Technology (2006)
Michael Stollberg, Cristina Feier, Dumitru Roman, Dieter Fensel
Abstract. Although the Internet provides a world wide infrastructure for information provision and communication, the initial web technology stack has substantial draw-backs with regard to automated...
Darko Anicic, Michael Brodie, Jos De Bruijn, Dieter Fensel, Thomas Haselwanter, ...
www.deri.us Abstract. The researchers in DERI Innsbruck have been building an execution infrastructure for the Semantic Web Services (SWS) based on the Services Oriented Architecture (SOA) paradigm...
A Semantic Web Mediation Architecture (2006)
Michael Stollberg, Emilia Cimpian, Adrian Mocan, Dieter Fensel
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interoperation. Mediation...
Brodie, Michael, Bussler, Chris, De Bruijn, Jos, Fahringer, Thomas, Fensel, Dieter, Hepp, Martin, ...
After four decades of rapid advances in computing, we are embarking on the greatest leap forward in computing that includes revolutionary changes at all levels of computing from the hardware through...
Hepp, Martin, Leymann, Frank, Domingue, John, Wahler, Alexander, Fensel, Dieter
Business process management (BPM) is the approach to manage the execution of IT-supported business operations from a business expert's view rather than from a technical perspective. However, the...
An Evaluation of Discovery approaches in Grid and Web services Environments (2005)
Toma, Ioan, Iqbal, Kashif, Moran, Matthew, Roman, Dimitru, Strang, Thomas, Fensel, Dieter
The challenge of finding services or resources in Web services and Grid environments has recently been the subject of a lot of attention. Different solutions to this problem were proposed, each with...
Michael L. Brodie, Jim Browne, Dieter Fensel, Sung-kook Han, Deri Innsbruck, ...
www.deri.at
Automatic location of services (2005)
Uwe Keller, Rubén Lara, Holger Lausen, Axel Polleres, Dieter Fensel
Abstract. The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic location of...
Between Wsmo, Rubén Lara, Axel Polleres, Holger Lausen, Dumitru Roman, Jos De, ...
Previous version:
Uwe Keller, Jos De Bruijn, Dieter Fensel
Copyright c ○ 2004 DERI r ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This deliverable is intended to overview briefly some of the most...
THE WEB SERVICE MODELING LANGUAGE WSML: AN OVERVIEW (2005)
Jos De, Bruijn Holger, Lausen Axel Polleres, Dieter Fensel, Jos De, Bruijn Holger, ...
Abstract. The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeling...
A realistic architecture for the semantic web (2005)
Michael Kifer, Jos De Bruijn, Harold Boley, Dieter Fensel
Harold.Boley AT nrc-cnrc.gc.ca Abstract. In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In...
Partner and Service Discovery for Collaboration Establishment on the Semantic Web (2005)
Michael Stollberg, Uwe Keller, Dieter Fensel
The ultimate goal of the Semantic Web is to enable automated collaboration over the Internet, based on ontologies as semantic terminology definitions and Web Services as computational facilities...
De Bruijn, Axel Polleres, Rubén Lara, Dieter Fensel, Jos De Bruijn, Axel Polleres, ...
DERI liability, trademark, document use, and software licensing rules apply. This deliverable presents restricted variants of the OWL Lite, DL and Full species of the OWL ontology language, called...
Uwe Keller, Jos De Bruijn, Dieter Fensel
Copyright c ○ 2004 DERI R ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This deliverable is intended to overview briefly some of the most...
OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web (2005)
Jos De Bruijn, Rubén Lara, Axel Polleres, Dieter Fensel
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages...
WWW or What Is Wrong with Web Services (2005)
Reto Krummenacher, Martin Hepp, Axel Polleres, Christoph Bussler, Dieter Fensel
A core paradigm of the Web is information exchange via persistent publication, i.e., one party publishes a piece of information on the Web, and any other party who knows the location of the resource...
Martin Hepp, Frank Leymann, John Domingue, Alexander Wahler, Er Wahler, Dieter Fensel
approach to manage the execution of IT-supported business operations from a business expert's view rather than from a technical perspective. However, the degree of mechanization in BPM is still...
Mediating Capabilities with Delta-Relations (2005)
Michael Stollberg, Emilia Cimpian, Dieter Fensel
Mediation is concerned with handling heterogeneities that potentially occur between resources that shall interoperate. Heterogeneity being an inherent characteristic of open and distributed...
A P2P Discovery Mechanism for Web Service Execution Environment (2005)
Ioan Toma, Brahmananda Sapkota, A Sapkota, James Scicluna, Juan Miguel Gomez, Dumitru Roman, ...
A fundamental step towards the realization of Semantic Web Services vision is the automatic location of services given a specific user request. One important aspect that has to be considered is the...
Towards Semantic Web Services in Grid Environments (2005)
Ioan Toma, Dumitru Roman, Kashif Iqbal, Jürgen Hofer, Dieter Fensel, Stefan Decker
Web services and Grid computing are technologies with a great impact these days. Both technologies are taking a syntactical based approach to describe services, and therefore, limited support is...
Community-Driven Ontology Management: DERI Case Study (2005)
Anna V. Zhdanova, Reto Krummenacher, Jan Henke, Dieter Fensel
We introduce the concept of community-driven ontology management and demonstrate the added value to conventional ontology management of being community-driven. Further, we present an implementation...
Semantically Enabled Service Oriented Architectures: A Manifesto and a Paradigm Shift (2005)
Darko Anicic, Michael Brodie, Jos De Bruijn, Dieter Fensel, Stijn Heymans, Jörg Hoffmann, ...
Abstract. The researchers in DERI Innsbruck have been building an execution infrastructure for the Semantic Web Services (SWS) based on the Services Oriented Architecture (SOA) paradigm of loosely...
The Scientific Role of Computer Science in the 21st Century (2005)
Dieter Fensel, Dieter Wolf, Dieter Fensel, Dieter Wolf
www.deri.at
WWW or What Is Wrong with Web Services (2005)
Reto Krummenacher, Axel Polleres, Christoph Bussler, Dieter Fensel
A core paradigm of the Web is information exchange via persistent publication, i.e., one party publishes a piece of information on the Web, and any other party who knows the location of the resource...
Mediating Capabilities with DeltaRelations (2005)
Michael Stollberg, Emilia Cimpian, Dieter Fensel
Abstract. Mediation is concerned with handling heterogeneities that potentially occur between resources that shall interoperate. Heterogeneity being an inherent characteristic of open and distributed...
Using the Web Services Modelling Ontology to Enable Semantic eBusiness (2005)
Jos Bruijn, Dieter Fensel, Uwe Keller, Rubén Lara, Información Y Finanzas
Traditionally, integration of applications, as well as integration of businesses, is achieved using costly customized solutions for every pair of applications and every pair of businesses. This...
Towards intelligent web services: The web service modeling ontology (2005)
Cristina Feier, Dumitru Roman, Axel Polleres, John Domingue, Dieter Fensel
Abstract. The Semantic Web and the Semantic Web Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of...
Michael Brodie, Christoph Bussler, Jos De Brujin, Thomas Fahringer, Dieter Fensel, Holger Lausen, ...
www.deri.at
Modeling Services for the Semantic Grid (2005)
Polleres, Axel, Toma, Ioan, Fensel, Dieter
The Grid has emerged as a new distributed computing infrastructure for ad- vanced science and engineering aiming at enabling sharing of resources and infor- mation towards coordinated problem solving...
P2P Discovery Mechanisms for Web Service Execution Environment (2005)
Ioan Toma, A Sapkota, James Scicluna, Juan Miguel Gomez, Dumitru Roman, Dieter Fensel
Abstract. A fundamental step towards the realization of Semantic Web Services vision is the automatic location of services given a specific user request. One important aspect that has to be...
OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web (2005)
Polleres, Axel, Fensel, Dieter
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages...
WWW or What Is Wrong with Web Services (2005)
Polleres, Axel, Bussler, Christoph, Fensel, Dieter
A core paradigm of the Web is information exchange via persistent publication, i.e., one party publishes a piece of information on the Web, and any other party who knows the location of the resource...
Automatic Location of Services (2005)
Keller, Uwe, Polleres, Axel, Fensel, Dieter
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic location of services...
Towards Intelligent web Services: Web Service Modeling Ontology (WSMO) (2005)
Polleres, Axel, Fensel, Dieter
The SemanticWeb and the SemanticWeb Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of services...
Uwe Keller, Rubén Lara, Axel Polleres, Ioan Toma, Michael Kifer, Dieter Fensel, ...
Copyright c ○ 2004 DERI r ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. The Web Service Modeling Ontology (WSMO) provides the conceptual...
De Bruijn, Dieter Fensel, Jos De Bruijn, D Owl Light
Copyright c ○ 2004 DERI R ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This paper presents a restricted variant of the OWL Lite species of...
De Bruijn, Dieter Fensel, Axel Polleres, Jos De Bruijn, Boris Motik
Copyright c ○ 2004 DERI R ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This deliverable presents a restricted variant of the OWL Lite...
De Bruijn, Axel Polleres, Rubén Lara, Dieter Fensel, Jos De Bruijn, Axel Polleres, ...
Copyright c ○ 2004 DERI R ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This deliverable presents restricted variants of the OWL Lite, DL...
Uwe Keller, Rubén Lara, Axel Polleres, Ioan Toma, Michael Kifer, Dieter Fensel, ...
Copyright c ○ 2004 DERI r ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. The Web Service Modeling Ontology (WSMO) provides the conceptual...
2.1 Unique Name Assumption....................... 6 (2004)
De Bruijn, Axel Polleres, Rubén Lara, Dieter Fensel, Jos De Bruijn, Ian Horrocks, ...
DERI liability, trademark, document use, and software licensing rules apply. We introduce OWL Flight, an extension of OWL − (a subset of OWL, which can be translated to Datalog) with different...
Towards Semantic Web Portals (2004)
Michael Stollberg, Holger Lausen, Rubén Lara, Ying Ding, Sung-kook Han, Dieter Fensel, ...
A web portal is a platform for information presentation and information exchange over the Internet in a community of interest. Conventional web technologies used in web portals present serious...
Fred Whitepaper, Michael Stollberg, Holger Lausen, Sinuhé Arroyo, Reinhold Herzog, Peter Smolle, ...
A Logical Framework for Web Service Discovery (2004)
Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, ...
Abstract. Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services,...
An evaluation of Semantic Web portals (2004)
Rubén Lara, Sung-kook Han, Holger Lausen, Michael Stollberg, Ying Ding, Dieter Fensel
Web portals are entry points for information presentation and exchange over the Internet, used by a community of interest. Hence, they require an efficient support for communication and information...
OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web (2004)
Jos De, Bruijn Axel, Polleres Rubén Lara, Dieter Fensel, Jos De Bruijn, Axel Polleres, ...
Abstract. The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the...
A Logical Framework for Web Service Discovery (2004)
Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, ...
Abstract. Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services,...
De Bruijn, Axel Polleres, Dieter Fensel, Jos De Bruijn, Boris Motik, Owl Flight
Copyright c ○ 2004 DERI R ○ , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. This deliverable presents a restricted variant of the OWL Lite...
The Semantic Web: from Concept to Percept (2003)
Ying Ding, Dieter Fensel, Hans-georg Stork
Abstract. We give a brief overview of a new and exciting research area: the Semantic Web. We introduce some of its main ideas and application domains (with an emphasis on e-business and e-commerce),...
Semantic Web Services: description requirements and current technologies (2003)
Rubn Lara Holger, Holger Lausen, Sinuhé Arroyo, Jos Bruijn, Dieter Fensel
Semantic Web Services aim at providing a new level of functionality on top of the current Web and current services, by enabling automatic discovery, composition, invocation and interoperation of Web...
Spinning the Semantic Web (2003)
Dieter Fensel, Jim Hendler, Henry Lieberman, Wolfgang Wahlster
The World Wide Web (WWW) has drastically changed the availability of electronically accessible information. Currently there are around three billion static documents in the WWW that are used by more...
On-To-Knowledge in a Nutshell (2002)
Fensel, Dieter, Ding, Ying, Klein, Michel, Akkermans, H., Broekstra, Jeen, ...
A short description of the goals and results of the On-To-Knowledge.
The Unified Problem-solving Method Development Language UPML (2002)
Fensel, Dieter, Motta, Enrico, Benjamins, V. Richard, Crubezy, Monica, Decker, Stefan, Gaspari, Mauro, ...
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-solving Method description Language UPML has...
Mapping Technology for Enterprise Integration (2002)
Borys Omelayenko, Dieter Fensel
The emerging Semantic Web may change business integration from using partial, ad-hoc and costly connections to a qualitatively new level providing universal representation and transformation means...
Finding and characterizing changes in ontologies (2002)
Michel Klein, Atanas Kiryakov, Damyan Ognyanov, Dieter Fensel, Ontotext Lab Sofia
Abstract. Recently, the interest in the use of ontologies — which can be seen as formal representations of conceptual models — has increased because of the excitement about the vision of a...
Ontology versioning and change detection on the Web (2002)
Michel Klein, Dieter Fensel, Atanas Kiryakov, Damyan Ognyanov
Abstract. To effectively use ontologies on the Web, it is essential that changes in ontologies are managed well. This paper analyzes the topic of ontology versioning in the context of the Web by...
The Semantic Web: Yet Another Hip (2002)
Ying Ding, Dieter Fensel, Michel Klein, Borys Omelayenko
Abstract. Currently, computers are changing from single, isolated devices into entry points to a worldwide network of information exchange and business transactions called the World Wide Web (WWW)....
The Semantic Web: Yet Another Hip (2002)
Ying Ding, Dieter Fensel, Michel Klein, Borys Omelayenko
(order is currently alphabetically may be changed later) Abstract. Currently computers are changing from single isolated devices into entry points to a worldwide network of information exchange and...
A Conceptual Architecture for Semantic Web Enabled Web Services (2002)
Christoph Bussler, Dieter Fensel
the web from a static collection of information into a distributed device of computation on the basis of Semantic Web technology making content within the World Wide Web machine-processable and...
Layering the Semantic Web: Problems and Directions (2002)
The Resource Description Framework and the Resource Description Framework Schema Specification are supposed to be the foundations of the Semantic Web, in that all other Semantic Web languages are to...
Layering the Semantic Web: Problems and Directions (2002)
The Resource Description Framework and the Resource Description Framework Schema Specification are supposed to be the foundations of the Semantic Web, in that all other Semantic Web languages are to...
Enabling Knowledge Representation on the Web by Extending RDF Schema (2001)
Broekstra, Jeen, Klein, Michel, Decker, Stefan, Fensel, Dieter, Van Harmelen, Frank, Horrocks, Ian
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for expressing metadata...
OIL: An Ontology Infrastructure for the Semantic Web (2001)
Fensel, Dieter, Horrocks, Ian, McGuinness, Deborah L., Patel-Schneider, Peter F.
Currently, computers are changing from single isolated devices to entry points into a worldwide network of information exchange and business transactions.Support in the exchange of data, information,...
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective (2001)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Venema, Yde, Willems, Mark
During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Enabling knowledge representation on the web by extending rdf schema (2001)
Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for expressing metadata...
The book has seven chapters and an Appendix. The first chapter is a general introduction to the book. The second is an introduction to ontologies. The third one talks about the role of ontologies in...
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Vol. 6(2001): nr not yet determined
Structured Development of Problem Solving Methods (2001)
Problem solving methods (PSMs) are domain-independent reasoning components, which specify patterns of behavior which can be reused across applications. While the availability of extensive PSM...
Enabling knowledge representation on the web by extending rdf schema (2001)
Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for expressing metadata...
Enabling knowledge representation on the web by extending rdf schema (2001)
Jeen Broekstra, Ý Michel Klein, Stefan Decker, Dieter Fensel, Ian Horrocks
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for expressing metadata...
Enabling knowledge representation on the web by extending rdf schema (2001)
Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for express-ing metadata...
An Analysis of B2B Catalogue Integration Problems (2001)
Borys Omelayenko, Dieter Fensel
Abstract: Content Management becomes a cornerstone of successful B2B electronic commerce. The B2B players use different document standards to represent their business documents, and different content...
Ontology Library Systems: The Key to Successful Ontology Re-Use (2001)
www.cs.vu.nl/~ying,~dieter Increasingly, effort has been devoted to surveying ontology-related research studies from various aspects. However, no survey is available for the ontology library system....
Ontology Library Systems: The Key to Successful Ontology Re-Use (2001)
www.cs.vu.nl/~ying,~dieter Increasingly, effort has been devoted to surveying ontology-related research studies from various aspects. However, no survey is available for the ontology library system....
An Analysis of B2B Catalogue Integration Problems (2001)
Borys Omelayenko, Dieter Fensel
Abstract: Content Management becomes a cornerstone of successful B2B electronic commerce. The B2B players use different document standards to represent their business documents, and different content...
OIL: Ontology infrastructure to Enable the semantic Web (2001)
Dieter Fensel, Ian Horrocks, Frank Van Harmelen, Deborah Mcguinness
Currently computers are changing from single isolated devices to entry points into a worldwide network of information exchange and business transactions. Therefore, support in the exchange of data,...
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective (2001)
Pascal Eck, Joeri Engelfriet, Dieter Fensel, Frank Harmelen, Yde Venema, Mark Willems
During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
A Two-Layered Integration Approach for Product Information in B2B E-commerce (2001)
Borys Omelayenko, Dieter Fensel
Abstract. Electronic B2B marketplaces bring together many online suppliers and buyers, each of which can potentially use his own format to represent the products in his product catalog. The...
Structured Development of Problem Solving Methods (2001)
Abstract. Problem solving methods are reasoning components, which specify patterns of behavior which can be reused across applications. While the availability of extensive problem solving method...
Linkoping Sweden Http, Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Frank Harmelen, ...
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for expressing metadata...
Ontology Library Systems: The Key to Successful Ontology Re-Use (2001)
www.cs.vu.nl/~ying,~dieter Increasingly, effort has been devoted to surveying ontology-related research studies from various aspects. However, no survey is available for the ontology library system....
On-To-Knowledge: Content-driven Knowledge management Tools through Evolving Ontologies (2001)
Ying Ding, Dieter Fensel, Michel Klein, Borys Omelayenko, Contactperson Dieter Fensel, ...
On-To-Knowledge: Ontology-based Tools for Knowledge Management (2000)
Fensel, Dieter, Klein, Michel, Akkermans, H., Broekstra, Jeen, Fluit, Christiaan, ...
On-To-Knowledge, the European EU-IST project No. 10132, builds an ontology-based tool environment to perform knowledge management, dealing with the large numbers of heterogeneous, distributed, and...
Klein, Michel, Fensel, Dieter, Horrocks, Ian
Currently computers are changing from single isolated devices to entry points into a worldwide network of information exchange and business transactions called the World Wide Web (WWW). Therefore...
The Semantic Web: The roles of XML and RDF (2000)
Decker, Stefan, Melnik, Sergey, Harmelen, Frank Van, Fensel, Dieter, Klein, Michel, Broekstra, Jeen, ...
Until now, the
Catalogue integration: A case study in ontology-based semantic translation (2000)
Heiner Stuckenschmidt, Frank Van Harmelen, Dieter Fensel, Michel Klein, Ian Horrocks
Catalogue integration: A case study in ontology-based semantic translation (2000)
Heiner Stuckenschmidt, Frank Van Harmelen, Dieter Fensel, Michel Klein, Ian Horrocks
Dieter Fensel, Frank Van Harmelen, Ying Ding, Michel Klein, Hans Akkermans, ...
The World Wide Web (WWW) has drastically changed the availability of electronically available information. Currently, there are around 3 billion documents in the WWW, which are used by more than 500...
The Semantic Web and Its Languages (2000)
Currently computers are changing from single isolated devices to entry points in a world wide network of information exchange and business transactions called the World Wide Web (WWW). Therefore...
On-to-knowledge: Ontology-based tools for knowledge management (2000)
Dieter Fensel, Frank Van Harmelen, Michel Klein, Hans Akkermans
10132, builds an ontology-based tool environment to speed up knowledge management, dealing with the large numbers of heterogeneous, distributed, and semi-structured documents typically found in large...
Knowledge representation on the web (2000)
Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks, Sergey Melnik, Michel Klein, ...
The World Wide Web has been made possible through a set of widely established standards which guarantee interoperability at various levels: the TCP/IP protocol has ensured that now nobody has to...
Michel Klein, Dieter Fensel, Frank Van Harmelen, Ian Horrocks
Abstract. Currently computers are changing from single isolated devices to entry points into a worldwide network of information exchange and business transactions called the World Wide Web (WWW)....
Knowledge Representation on the Web (2000)
Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks, Sergey Melnik, Michel Klein, ...
Exploiting the full potential of the World Wide Web will require semantic as well as syntactic interoperability. This can best be achieved by providing a further representation and inference layer...
Knowledge Representation on the Web (2000)
Stefan Decker, Dieter Fensel, Frank Van Harmelen, Ian Horrocks, Sergey Melnik, Michel Klein, ...
this paper, we make the following claims:
The Semantic Web - on the respective Roles of XML and RDF (2000)
Stefan Decker, Frank Van Harmelen, Jeen Broekstra, Michael Erdmann, Dieter Fensel, Ian Horrocks, ...
The next generation of the Web is often characterized as the "Semantic Web": information will no longer only be intended for human readers, but also for processing by machines, enabling...
Adding formal semantics to the Web Building on top of RDF Schema (2000)
Jeen Broekstra, Michel Klein, Stefan Decker, Dieter Fensel, Ian Horrocks
RDF Schema provides means to define vocabulary, structure and constraints for expressing metadata about Web resources. However, formal semantics for the primitives defined in RDF Schema are not...
The Semantic Web: The Roles of XML and RDF (2000)
Stefan Decker, Sergey Melnik, Frank Van Harmelen, Dieter Fensel, Michel Klein, Jeen Broekstra, ...
this article, we explain the role of ontologies in the architecture of the Semantic Web. We then briefly summarize key elements of XML and RDF, showing why using XML as a tool for semantic...
Situation and Perspective of Knowledge Engineering (2000)
Rudi Studer, Stefan Decker, Dieter Fensel, Steffen Staab
. Knowledge Engineering was in the past primarily concerned with building and developing knowledge-based systems, an objective which puts Knowledge Engineering in a niche of the world-wide research...
Ontobroker in a Nutshell (2000)
Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
The World Wide Web (WWW) provides huge amounts of information in informal and semi-structured representations. This is one of the key factors that enabled its incredible success story. The...
Dieter Fensel, Andreas Witt, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, ...
Abstract. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the...
The semantic web - on the respective roles of XML and RDF (2000)
Stefan Decker, Frank Van Harmelen, Jeen Broekstra, Michael Erdmann, Dieter Fensel, Ian Horrocks, ...
UPML: A Framework For Knowledge System Reuse (1999)
Dieter Fensel, V. Richard, Benjamins Enrico, Motta Bobwielinga
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-solving Method Development Language, UPML,...
The Unified Problem-solving Method Development Language UPML (1999)
Dieter Fensel, Enrico Motta, Frank Van Harmelen, V. Richard Benjamins, Monica Crubezy, Mauro Gaspari, ...
developed to describe and implement such architectures and components to facilitate their semiautomatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive...
On2broker: Semantic-based access to information sources at the www (1999)
Dieter Fensel, Jrgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, Steffen Staab, ...
Abstract. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the...
The Unified Problem-solving Method Development Language UPML (1999)
Dieter Fensel, Enrico Motta, V. Richard Benjamins, Monica Crubezy, Stefan Decker, Mauro Gaspari, ...
developed to describe and implement such architectures and components to facilitate their semiautomatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive...
Specifications of Knowledge Components for Reuse (1999)
Enrico Motta Dieter, Dieter Fensel, Mauro Gaspari, Richard Benjamins, Walton Hall
. The IBROW 3 project aims to support semi-automatic configuration of intelligent problem solvers out of reusable components. The project takes a holistic approach to reuse and is developing...
Automatic Selection of Problem Solving Libraries based on Competence Matching (1999)
Mauro Gaspari, Enrico Motta, Dieter Fensel
. We describe an automatic approach to the selection of problem solving libraries based on semantic matching. Problem solving libraries are specified exploiting UPML an architectural description...
A Software Architecture for Knowledge-Based Systems (1999)
. The paper introduces a software architecture for the specification and verification of knowledge-based systems combining conceptual and formal techniques. Our focus is component-based specification...
On2broker: Semantic-based access to information sources at the WWW (1999)
Dieter Fensel Jrgen, Dieter Fensel, Jrgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, ...
. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the use of...
Towards Brokering Problem-Solving Knowledge on the Internet (1999)
Richard Benjamins Bob, V. Richard Benjamins, Bob Wielinga, Dieter Fensel
. We describe the ingredients of an intelligent agent (a broker) for configuration and execution of knowledge systems for customer requests. The knowledge systems are configured from reusable...
(KA)²: Building Ontologies for the Internet: a Mid Term Report (1999)
V. Richard Benjamins, Dieter Fensel, Stefan Decker
Ontologies are becoming increasingly more important in many different areas, including the knowledge management area. In knowledge management, ontologies can be used as an instrument to make...
Practical Knowledge Representation for the Web (1999)
Frank Van Harmelen, Dieter Fensel, Dieter Fensel Aifb
The lack of semantic markup is a major barrier to the development of more intelligent document processing on the Web. Current HTML markup is used only to indicate the structure and lay-out of...
On2broker: Semantic-Based Access to Information Sources at the WWW (1999)
Dieter Fensel, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, Steffen Staab, ...
On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the use of...
The Component Model Of Upml In A Nutshell (1999)
Dieter Fensel, Richard Benjamins, Stefan Decker, Mauro Gaspari, Rix Groenboom, William Grosso, ...
. Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-solving Method description Language UPML...
Towards Brokering Problem-Solving Knowledge on the Internet (1999)
V. Richard Benjamins, Bob Wielinga, Jan Wielemaker, Dieter Fensel
. We describe the ingredients of an intelligent agent (a broker) for configuration and execution of knowledge systems for customer requests. The knowledge systems are configured from reusable...
UPML: A framework for knowledge system reuse (1999)
Dieter Fensel, V. Richard Benjamins, Enrico Motta, V. Richard, Benjamins Enricomotta, Bob Wielinga
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-solving Method Development Language, UPML,...
On2broker in a Nutshell (1999)
Dieter Fensel, Andreas Witt, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, ...
. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the use of...
On2broker: Semantic-Based Access to Information Sources at the WWW (1999)
Dieter Fensel, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, Steffen Staab, ...
. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web. It relies on the use of...
Specifications of Knowledge Components for Reuse (1999)
Enrico Motta, Dieter Fensel, Mauro Gaspari, Richard Benjamins, Walton Hall
. The IBROW 3 project aims to support semi-automatic configuration of intelligent problem solvers out of reusable components. The project takes a holistic approach to reuse and is developing...
On2broker: Semantic-based access to information sources at the www (1999)
Dieter Fensel, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-peter Schnurr, Steffen Staab, ...
Abstract. On2broker provides brokering services to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide
Ontobroker: Ontology based access to distributed and semi-structured information (1999)
Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
Abstract. The World Wide Web (WWW) can be viewed as the largest multimedia database that has ever existed. However, its support for query answering and automated inference is very limited. Metadata...
The Unified Problem-solving Method Development Language UPML (1999)
Dieter Fensel, Enrico Motta, V. Richard Benjamins, Monica Crubezy, Stefan Decker, Mauro Gaspari, ...
developed to describe and implement such architectures and components to facilitate their semiautomatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive...
Specification of Dynamics for Knowledge-Based Systems (1998)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Venema, Yde, Willems, Mark
During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Ontobroker: the very high idea. (1998)
Fensel, Dieter, Decker, Stefan, Erdmann, Michael, Studer, Rudi
Ontobroker: or how to enable intelligent access to the WWW. (1998)
Fensel, Dieter, Decker, Stefan, Erdmann, Michael, Studer, Rudi
The technical core of Ontobroker [online]. (1998)
Decker, Stefan, Fensel, Dieter, Erdmann, Michael, Studer, Rudi
Specification of dynamics for knowledge-based systems. (1998)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Harmelen, Frank Van, Venema, Yde, Willems, Mark
On2broker: lessons learned from applying AI to the web. (1998)
Fensel, Dieter, Angele, Jürgen, Decker, Stefan, Erdmann, Michael, Schnurr, Hans-Peter, Studer, Rudi, ...
Understanding, development and reusing problem solving methods / (1998)
Karlsruhe, University, Habil.-Schr., 1998.
Dieter Fensel, Uwe Keller, Holger Lausen, Axel Polleres, Ioan Toma
Various proposals for automating the discovery of Web services are available. Most of them regard the terms service and Web service as synonymous. We believe these two terms are not equivalent and it...
Ontobroker: How to make the www intelligent (1998)
Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer
Abstract. The World Wide Web can be viewed as the largest knowledge base that has ever existed. However, its support in query answering and automated inference is very limited. We propose formalized...
Specification of dynamics for knowledge-based systems (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Yde Venema, Mark Willems
During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Ontobroker: Ontology based Access to Distributed and Semi-Structured Information (1998)
Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
. The World Wide Web (WWW) can be viewed as the largest multimedia database that has ever existed. However, its support for query answering and automated inference is very limited. Metadata and...
An Architecture for Reusing Problem-Solving Components (1998)
Dieter Fensel, V. Richard Benjamins
. Developing software by selecting, adapting, combining, and integrating existing components instead of starting the system development process from scratch has become a key factor in economic...
Structured Development of Problem Solving Methods (1998)
Dieter Fensel And, Dieter Fensel, Enrico Motta
. Problem solving methods (PSMs) are domain-independent reasoning components, which specify patterns of behavior which can be reused across applications. While the availability of extensive PSM...
Specification of Dynamics for Knowledge-Based Systems (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Mark Willems
. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Knowledge Engineering: Principles and Methods (1998)
Rudi Studer Richard, V. Richard Benjamins, Dieter Fensel
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and describe two...
The Ontological Engineering Initiative (KA)² (1998)
V. Richard Benjamins, Dieter Fensel
. The Knowledge Annotation Initiative of the Knowledge Acquisition Community, (KA) 2 is an initiative to develop an ontology that models the knowledge acquisition community (its researchers, topics,...
Ontobroker: The Very High Idea (1998)
Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer
The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its query interfaces and the provided reasoning services are rather limited. Ontobroker...
Stefan Decker Michael, Michael Erdmann, Dieter Fensel, Rudi Studer
. The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its information retrieval mechanisms and the provided reasoning services are rather limited....
IBROW3 - An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web (1998)
V. Richard Benjamins, Enric Motta, Dieter Fensel, Rudi Studer, Bob Wielinga, ...
The World-Wide Web is changing the nature of software development to a distributive plug & play process. This requires a new way of managing software by so-called intelligent software brokers....
Ontobroker in a Nutshell (1998)
Stefan Decker, Michael Erdmann, Dieter Fensel, Rudi Studer
r selecting classes and attributes from the ontology. To allow the selection of classes, the ontology has to be presented in an appropriate Fig. 1. The tabular query interface of Ontobroker. manner....
Editorial: Problem-Solving Methods (1998)
V. Richard Benjamins, Dieter Fensel
this paper is based on algebraic specifications. 3.3 Approaches for constructing KBSs through PSMs
Inverse Verification of Problem-Solving Methods (1998)
. Context dependency of knowledge models brings with it several problems: the unreliability of knowledge-based systems, maintenance costs, and limitations on sharing and reuse. Problem-solving...
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-based Systems (1998)
. We investigate the formal specification of the reasoning process of knowledge-based systems in this paper. We analyze the corresponding parts of the KADS specification languages KARL and (ML) 2 and...
Ontobroker: Or How to Enable Intelligent Access to the WWW (1998)
Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer
. The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its query interfaces and the provided reasoning services are rather limited. Ontobroker...
Knowledge Management through Ontologies (1998)
Richard Benjamins Swi, V. Richard Benjamins, Dieter Fensel
Most enterprises agree that knowledge is an essential asset for success and survival on a increasingly competitive and global market. This awareness is one of the main reasons for the exponential...
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-based Systems (1998)
Dieter Fensel Rix, Dieter Fensel, Rix Groenboom
. We investigate the formal specification of the reasoning process of knowledge-based systems in this paper. We analyze the corresponding parts of the KADS specification languages KARL and (ML) 2 and...
Specification of Dynamics for Knowledge-based Systems (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Yde Venema, Mark Willems
. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Structured Development of Problem Solving Methods (1998)
. Problem solving methods (PSMs) are domain-independent reasoning components, which specify patterns of behavior which can be reused across applications. While the availability of extensive PSM...
Knowledge Management through Ontologies (1998)
V. Richard Benjamins, Dieter Fensel
Most enterprises agree that knowledge is an essential asset for success and survival on a increasingly competitive and global market. This awareness is one of the main reasons for the exponential...
Knowledge Engineering: Principles and Methods (1998)
Rudi Studer, V. Richard Benjamins, Dieter Fensel
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and describe two...
Ontobroker: How to Enable Intelligent Access to the WWW (1998)
Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer
. The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its query interfaces and the provided reasoning services are rather limited. Ontobroker...
Knowledge Management through Ontologies (1998)
Richard Benjamins Swi, V. Richard Benjamins, Dieter Fensel
Most enterprises agree that knowledge is an essential asset for success and survival on a increasingly competitive and global market. This awareness is one of the main reasons for the exponential...
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Yde Venema, Mark Willems
During the last years, a number of formal specification languages for knowledgebased systems has been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
IBROW3 - An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web (1998)
V. Richard Benjamins, Enric Plaza, Enrico Motta, Dieter Fensel, Rudi Studer, Bob Wielinga, ...
Data Types Wirsing, 1990. If we want to exchange our problem-solving methods with other groups, then we have to build a wrapper. A KIF wrapper (Knowledge Interchange Format) Gruber, 1993, Genesereth...
Specification of Dynamics for Knowledge-based Systems (extended ) (1998)
Pascal Van, Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Mark Willems
. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Knowledge Management through Ontologies (1998)
V. Richard Benjamins, Dieter Fensel, Asunción Gómez Pérez
Most enterprises agree that knowledge is an essential asset for success and survival on a increasingly competitive and global market. This awareness is one of the main reasons for the exponential...
IBROW3 - An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web (1998)
V. Richard Benjamins, Stefan Decker, Dieter Fensel, Enrico Motta, Enric Plaza, Guus Schreiber, ...
. The World-Wide Web is changing the nature of software development to a distributive plug & play process. This requires a new way of managing software by so-called intelligent software brokers....
The Role of Assumptions in Knowledge Engineering (1998)
Dieter Fensel, V. Richard Benjamins
. Problem-solving methods are means to describe the inference process of knowledge-based systems. During the last years, a number of these problemsolving methods have been identified that can be...
Specification of Dynamics for Knowledge-Based Systems (Extended Abstract) (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Yde Venema, Mark Willems
. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an...
Key Issues for Automated Problem-Solving Methods Reuse (1998)
Dieter Fensel, V. Richard Benjamins, D. Fensel, V. R. Benjamins
. Developing software by selecting, adapting, combining, and integrating existing components instead of starting the system development process from scratch has become a key factor in economic...
Schönegge: Inverse Verification of Problem-Solving Methods (1998)
Abstract. Context dependency of knowledge models brings with it several problems: the unreliability of knowledge-based systems, maintenance costs, and limitations on sharing and reuse....
Specification of dynamics for knowledge-based systems (1998)
Pascal Van Eck, Joeri Engelfriet, Dieter Fensel, Frank Van Harmelen, Mark Willems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base...
Making knowledge engineering technology work. (1997)
Benjamins, Richard, Fensel, Dieter, Pierret-Golbreich, Christine, Motta, Enrico, Studer, Rudi, Wielinga, Bob
Using ontologies for defining tasks, problem-solving methods and their mappings. (1997)
Fensel, Dieter, Motta, Enrico, Decker, Stefan, Zdrahal, Zdenek
Specification of dynamics for knowledge-based systems. Extended abstract. (1997)
Eck, Pascal Van, Engelfriet, Joeri, Fensel, Dieter, Harmelen, Frank Van, Venema, Yde, Willems, Mark
Developing knowledge-based systems with MIKE. (1997)
Angele, Jürgen, Fensel, Dieter, Landes, Dieter, Studer, Rudi
An Ontology-based Broker: Making Problem-Solving Method Reuse Work (1997)
Abstract. We present the architecture of an intelligent broker for enabling the use of problem-solving methods via the World Wide Web (WWW). The core component of such a broker is realised by an...
Ontology Groups: Semantically Enriched Subnets of the WWW (1997)
Dieter Fensel, Michael Erdmann, Rudi Studer
Abstract. The World Wide Web (WWW) can be viewed as the largest knowledgebase that has ever existed. However, its support in automated inference is very limited. We present ontologies as means to...
Specifying and Verifying Knowledge-Based Systems with KIV (1997)
. We discuss the use of the Karlsruhe Interactive Verifier (KIV) for the verification of conceptual and formal specifications of knowledge-based systems. KIV was originally developed for the...
An Ontology-based Broker: Making Problem-Solving Method Reuse Work (1997)
. We present the architecture of an intelligent broker for enabling the use of problem-solving methods via the World Wide Web (WWW). The core component of such a broker is realised by an ontologist...
The Essence of Problem-Solving Methods: Making Assumptions to Gain Efficiency (1997)
Dieter Fensel, Remco Straatman, Wielinga Et Al, B. J. Wielinga, W. Van, ...
ion, Reformulation, and Approximation (SARA-95), Quebec, Canada, August 1995. [van Heijst et al., 1992] G. van Heijst, P. Terpstra, B. J. Wielinga and N. Shadbolt: Using Generalised Directive Models...
Making Knowledge Engineering Technology Work (1997)
Richard Benjamins, Dieter Fensel, Christine Pierret-golbreich, Enrico Motta, Rudi Studer Aifb, Bob Wielinga Swi, ...
The rapid-prototyping approach of the early 1980's failed to deliver high-quality knowledge-based systems. As a reaction, in the early 90's, there has been a large activity in the knowledge...
Specifying Knowledge-Based Systems with Reusable Components (1997)
. The paper introduces an approach for the specification and verification of knowledge-based systems combining conceptual and formal techniques. We identify four elements of the specification of a...
The Tower-of-Adapters Method for Developing and Reusing Problem-Solving Methods (1997)
. The paper provides three novel contributions to knowledge engineering. First, we provide a structured approach for the development and adaptation of problem-solving methods. We start from very...
V. Richard Benjamins, Dieter Fensel, B. Chandrasekaran
this report was supported by US Defense Advanced Research Projects Agency and monitored by Office of Naval Research, grant no. N00014-96-1-0701. References
An Ontology-based Broker: Making Problem-Solving Method Reuse Work (1997)
. We present the architecture of an intelligent broker for enabling the use of problem-solving methods via the World Wide Web (WWW). The core component of such a broker is realised by an ontologist...
The Tower-of-Adapters Method for Developing and Reusing Problem-Solving Methods (1997)
. The paper provides three novel contributions to knowledge engineering. First, we provide a structured approach for the development and adaptation of problem-solving methods. We start from very...
Combining KARL and CRLM for designing vertical transportation systems. (1996)
Poeck, Karsten, Fensel, Dieter, Landes, Dieter, Angele, Jürgen
Specification and verification of knowledge-based systems. (1996)
Fensel, Dieter, Schoenegge, Arno, Groenboom, Rix, Wielinga, Bob
Ontologies and the configurations of problem-solving methods. (1996)
Studer, Rudi, Eriksson, Henrik, Gennari, John, Tu, Samson, Fensel, Dieter, Musen, Mark
The Mincer Metaphor for Problem-Solving Methods: Making Assumptions for Reasons of Efficiency (1996)
Dieter Fensel, Remco Straatman, Frank Van Harmelen
In this paper we present the following view on problem-solving methods: Problemsolving methods describe an efficient reasoning strategy to achieve a goal by introducing assumptions about the...
Ontologies and the Configuration of Problem-Solving Methods (1996)
Rudi Studer Henrik, Henrik Eriksson, John Gennari, Samson Tu, Dieter Fensel, Mark Musen
Problem-solving methods model the problem-solving behavior of knowledge-based systems. The PROTG-II framework includes a library of problem-solving methods that can be viewed as reusable components....
Problem-Solving Methods: Making Assumptions for Efficiency Reasons (1996)
Dieter Fensel, Remco Straatman
. In this paper we present the following view on problem-solving methods for knowledge-based systems: Problem-solving methods describe an efficient reasoning strategy to achieve a goal by introducing...
Combining KARL and CRLM for Designing Vertical Transportation Systems (1996)
Karsten Poeck, Dieter Fensel, Dieter Landes, Jürgen Angele
View on Propose-and-Revise At an abstract level, the chosen problem-solving method for the configuration of elevator systems can be depicted in an inference structure as shown in figure 10. The...
Machine Learning, Rix Groenboom, Knowledge Acquisition, Dieter Fensel, R. Groenboom
. We investigate the formal specification of the dynamic reasoning process of knowledge-based systems. The main contributions of the paper are: defining a formal framework for describing the dynamic...
Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering (1996)
Richard Benjamins, Dieter Fensel, Remco Straatman
. A problem-solving method describes a reasoning process that efficiently achieves a goal by applying domain knowledge. However, a problem-solving method cannot directly be applied because of the...
Assumptions in Model-based Diagnosis (1996)
Dieter Fensel And, Dieter Fensel, Richard Benjamins
. Mostly, papers on problem-solving methods focus on the description of reasoning strategies and discuss their underlying assumptions as a side aspect. We take a complementary point of view and focus...
Conceptual and Formal Specifications of Problem-Solving Methods (1996)
Dieter Fensel, Henrik Eriksson, Mark A. Musen, Rudi Studer
Reusable problem-solving methods as provided by the PROTÉGÉ-II improve knowledge engineering by allowing developers to design reasoners quickly from pre-existing components. The PROTÉGÉ-II...
Ontologies and the Configuration of Problem-Solving Methods (1996)
Rudi Studer, Henrik Eriksson, John Gennari, Samson Tu, Dieter Fensel, Mark Musen
Problem-solving methods model the problem-solving behavior of knowledge-based systems. The PROTÉGÉ-II framework includes a library of problem-solving methods that can be viewed as reusable...
Assumptions in Model-based Diagnosis (1996)
Dieter Fensel, Richard Benjamins
. Mostly, papers on problem-solving methods focus on the description of reasoning strategies and discuss their underlying assumptions as a side aspect. We take a complementary point of view and focus...
Modellbasiertes und Inkrementelles Knowledge Engineering: der MIKE Ansatz. (1995)
Angele, Jürgen, Fensel, Dieter, Landes, Dieter, Neubert, Susanne
Formal specification languages in knowledge and software engineering (1995)
Abstract During the last years, a number of formal specification languages for knowledge-based systems (kbs) have been developed. Characteristics of such systems are a complex knowledge base and an...
Formal methods in knowledge engineering (1995)
Frank Van Harmelen, Dieter Fensel
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use...
A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems (1995)
We study the KADS specification languages KARL and (ML) 2 in a states as algebras setting. The essence of these languages is that they integrate a declarative specification of inferences together...
Are Substitutions the Better Examples? Learning Complete Sets of Clauses with Frog (1995)
Dieter Fensel, Monika Zickwolff, Markus Wiese
. The paper presents an approach for machine learning in a restricted first-order language with finite minimal Herbrand models by means of a search through a propositional representation space. The...
A Case Study: Assumptions and Limitations of a Problem-Solving Method (1995)
this paper is to outline the way in which different variations of the same psm have different assumptions or, conversely, how different assumptions holding in a domain can be used to derive the...
Are Substitutions the Better Examples? Learning Complete Sets of Clauses with Frog (1995)
Dieter Fensel Monika, Dieter Fensel, Monika Zickwolff, Markus Wiese
. The paper presents an approach for machine learning in a restricted first-order language with finite minimal Herbrand models by means of a search through a propositional representation space. The...
The Knowledge Acquisition and Representation Language KARL (1995)
Dieter Fensel, Jürgen Angele, Rudi Studer
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal...
The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems? (1995)
Dieter Fensel, Remco Straatman, Frank Van Harmelen
In this paper we present the following view on problem-solving methods: Problemsolving methods describe an efficient reasoning strategy to achieve a goal by introducing assumptions about the...
Formal Methods in Knowledge Engineering (1995)
Frank Van Harmelen, De Boelelaan A, Dieter Fensel
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use...
Integrating semiformal and formal methods in knowledge-based systems development. (1994)
Fensel, Dieter, Landes, Dieter, Neubert, Susanne, Studer, Rudi
The knowledge acquisition and representation language, KARL / (1994)
Thesis (doctoral)--Universität Fridericiana zu Karlsruhe, 1994.
A Comparison of Two Approaches to Model-Based Knowledge Acqusition (1994)
Abstract. This paper discusses and compares two different approaches to model-based knowledge acquisition. That is, we regard the Model-based and Incremental Knowledge Engineering (MIKE) approach and...
The Specification Language KARL and Its Declarative Semantics (1994)
Dieter Fensel, Jürgen Angele, Rudi Studer
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledgebased system (kbs) at the conceptual level (a socalled model of expertise) with a description at...
A Comparison of Two Approaches to Model-based Knowledge Acquisition (1994)
. This paper discusses and compares two different approaches to model-based knowledge acquisition. That is, we regard the Model-based and Incremental Knowledge Engineering (MIKE) approach and the...
Integration Of Semiformal And Formal Methods For Specifying Knowledge-Based Systems (1994)
Dieter Fensel, Susanne Neubert
. The paper describes a specification approach for knowledge-based systems (kbs) combining semiformal and formal specification techniques. The semiformal knowledge representation uses a...
A Comparison of Languages which Operationalize and Formalise KADS Models of Expertise (1994)
Dieter Fensel, Frank Van Harmelen
In the field of Knowledge Engineering, dissatisfaction with the rapidprototyping approach has led to a number of more principled methodologies for the construction of knowledge based systems....
Integrating Semiformal and Formal Methods in Knowledge-Based Systems Development (1994)
Dieter Fensel, Dieter Landes, Dieter L, Susanne Neubert, Rudi Studer
The paper describes a development approach for knowledge-based systems (KBS) combining semiformal and formal techniques for specification and design. For the semiformal representation we use a...
: Learning from examples is a field of research in machine learning where class descriptions, like decision trees or implications (production rules or horn clauses) are produced using positive and...
: Learning from examples is a field of research in machine learning where class descriptions, like decision trees or implications (production rules or horn clauses) are produced using positive and...
A comparison of languages which operationalize and formalize KADS models of expertise (1994)
Dieter Fensel, Frank Van Harmelen
In the field of Knowledge Engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the construction of knowledgebased systems. Instead...
Refinement of Rule Sets with JoJo (1993)
Dieter Fensel And, Dieter Fensel, Markus Wiese
. In the paper we discuss a new approach for learning classification rules from examples. We sketch out the algorithm JoJo and its extension to a four step procedure which can be used to...
Tom Ilube, Ying Ding, Dieter Fensel, Steven Willmott, Jonathan Dale, Patricia Charlton, ...
A new cluster of take-up measures dedicated to Agents and Middleware technologies. Annalisa Bogliolo European Commission
On-To-Knowledge: Ontology-based Tools for Knowledge Management
Dieter Fensel, Frank Van Harmelen, Michel Klein, Hans Akkermans
This paper gives an
Ontology Groups: Semantically Enriched Subnets of the WWW
Dieter Fensel, Michael Erdmann, Rudi Studer
. The World Wide Web (WWW) can be viewed as the largest knowledgebase that has ever existed. However, its support in automated inference is very limited. We present ontologies as means to enrich web...
On2broker: Lessons Learned from Applying AI to the Web
Dieter Fensel, Jürgen Angele, Stefan Decker, Michael Erdmann, Hans-Peter Schnurr, Rudi Studer, ...
. Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wide Web or...
Ontobroker: Transforming the WWW into a Knowledge Base
Dieter Fensel, Michael Erdmann, Stefan Decker, Rudi Studer
. The World Wide Web (WWW) could be viewed as the largest knowledge base that has ever existed. However, its support in automated inference is very limited. We propose formalized ontologies as means...
Ontobroker: Transforming the WWW into a Knowledge Base
Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer
. The World Wide Web (WWW) can be viewed as the largest knowledge base that has ever existed. However, its support in automated inference is very limited. We propose formalized ontologies as means to...
The Technical Core of Ontobroker
Stefan Decker, Dieter Fensel, Michael Erdmann, Rudi Studer
. The World Wide Web can be viewed as the largest knowledge base that has ever existed. However, its support in query answering and automated inference is very limited. Therefore we developed...