UPML: The Language and Tool Support for Making the Semantic Web Alive
Published 1 January 2005
Dieter Fensel, James Hendler, Henry Lieberman, Wolfgang Wahlster, Tim Berners‐Lee
Citations13
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This chapter contains sections titled: Introduction, Brokering Reasoning Components on the Web, UPML: The Language for Knowledge Component Markup, An Editor for UPML Specifications Based on Protege-2000, Conclusion, Notes, References.
Abstract
This chapter contains sections titled: Introduction, Brokering Reasoning Components on the Web, UPML: The Language for Knowledge Component Markup, An Editor for UPML Specifications Based on Protege-2000, Conclusion, Notes, References
Keywords
Computer Science
International Journal of Human-Computer StudiesToward principles for the design of ontologies used for knowledge sharing?
7,656 Citations1995Thomas Gruber
The role of ontology in supporting knowledge sharing activities is described, and a set of criteria to guide the development of ontologies for these purposes are presented, and it is shown how these criteria are applied in case studies from the design ofOntologies for engineering mathematics and bibliographic data.
Journal of the ACMLogical foundations of object-oriented and frame-based languages
1,456 Citations1995Michael Kifer, Georg Lausen +1 more
A novel formalism, called Frame Logic (abbr., F-logic), is proposed, that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages.
IEEE Intelligent SystemsOIL: an ontology infrastructure for the Semantic Web
759 Citations2001Dieter Fensel, Frank van Harmelen +3 more
The authors present OIL, a proposal for a joint standard for specifying and exchanging ontologies, which is needed for knowledge sharing and reuse on the Semantic Web.
ACM Transactions on Software Engineering and MethodologySpecification matching of software components
519 Citations1997Amy Moormann Zaremski, Jeannette M. Wing
This work uses formal specifications to describe the behavior of software components and, hence, to determine whether two components match, and gives precise definitions of not just exact match, but, more relevantly, various flavors of relaxed match.
OKBC: a programmatic foundation for knowledge base interoperability
301 Citations1998Vinay K. Chaudhri, Adam Farquhar +3 more
Technical design issues faced in the development of Open Knowledge Base Connectivity are discussed, how OKBC improves upon GFP is highlighted, and practical experiences in using it are reported on.
Knowledge modeling at the millennium : The design and evolution of Protégé-2000
213 Citations1999William Grosso, Henrik Eriksson +4 more
An overview of the evolution of Protégé is given, examining the methodological assumptions underlying the original ProtÉgé system and discussing the ways in which the methodology has changed over time.
Knowledge AcquisitionA multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools
174 Citations1992Ángel R. Puerta, John W. Egar +2 more
The PROTEGE-II shell is presented, the components of its architecture are examined, and the concept of adaptation in interfaces is utilized to allow the knowledge engineer to produce interfaces that are task- and domain-specific.
IEEE Transactions on Software EngineeringStoring and retrieving software components: a refinement based system
144 Citations1997R. Mili, A. Mili +1 more
The design and implementation of a storage and retrieval structure for software components that is based on formal specifications and on the refinement ordering between specifications are discussed.
UPML: a framework for knowledge system reuse
93 Citations1999Dieter Fensel, V. Richard Benjamins +2 more
The paper describes the components, architectural constraints, development guidelines, and tools provided by UPML and focuses on the meta ontology that has been developed to formalize the architectural structure and elements of UPML.
On-To-Knowledge: Ontology-based Tools for Knowledge Management
91 Citations2000D.A. Fensel, Frank van Harmelen +17 more
Specification matching for software reuse
84 Citations1995Jun-Jang Jeng, Betty H. C. Cheng
This work presents specification matching as a method for classification, retrieval, and modification of reusable components as well as relaxed match and logical match for peforming specification matching over a library of reusable software components.
PubMedModern architectures for intelligent systems: reusable ontologies and problem-solving methods.
71 Citations1998Mark A. Musen
This paper will highlight how intelligent systems for diverse tasks can be efficiently automated using these kinds of building blocks.
Lecture notes in computer scienceThe tower-of-adapters method for developing and reusing problem-solving methods
51 Citations1997Dieter Fensel
The paper provides the concept of an integrated library combining reusable problem definitions, problem-solving methods, and adapters and shows how the usability-reusability trade-off of task-specific versus task-independent problem-solving methods can easily be overcome by the virtual existence of specific methods.
AI MagazineApplications of Ontologies and Problem Solving Methods
51 Citations1999Asuncíon Gómez-Pérez, V. Richard Benjamins
The Workshop on Applications of Ontologies and Problem-Solving Methods (PSM) was held in conjunction with the Thirteenth Biennial European Conference on Artificial Intelligence (ECAI-98), and the goal was to bring together researchers working on related issues in different communities.
The Knowledge Engineering ReviewFormal specification languages in knowledge and software engineering
46 Citations1995Dieter Fensel
Comparing formal languages for specifying KBS with formal languages which were developed by the software community for specifying software systems is the subject of this paper.
International Journal of Software Engineering and Knowledge EngineeringUSING AUTOMATED REASONING TECHNIQUES TO DETERMINE SOFTWARE REUSE
27 Citations1992Jun-Jang Jeng, Betty H. C. Cheng
An approach, based on formal methods, to the classification, organization and retrieval of reusable software components is presented and a prototype browser that provides a graphical framework for the classification and retrieval process is described.
A Library of Components for Classification Problem Solving
26 Citations2000Enrico Motta, Wenjin Lu
A library of generic, reusable components whose purpose is to support the specification and operationalization of classification problem solvers and will provide a test case for future version of the IBROW component brokering and configuration system.
Facilitating an automated approach to architecture-based software reuse
24 Citations2002Yonghao Chen, Betty H. C. Cheng
This paper presents an integrated approach to software reuse, based on software architecting techniques and formal methods, that addresses various reuse issues in a systematic and (semi) automatic fashion.
Declarative specification of software architectures
21 Citations2002John Penix, Perry Alexander +1 more
A method for specifying system requirements at the software architecture level and an example of using architecture theories to model the task coordination architecture of a multi-threaded plan execution system are presented.
Retrieving software components that minimize adaptation effort
19 Citations2002Lamia Labed Jilani, Josée Desharnais +3 more
Four measures of functional distance between specifications are defined, and algorithms that minimize these measures over a set of components are discussed, to discuss whether these measures can be used to predict adaptation effort.
Data & Knowledge EngineeringModal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
17 Citations1998Dieter Fensel, Rix Groenboom +1 more
This paper analyzes the corresponding parts of the KADS specification languages KARL and (ML)(2) and deduce some general requirements and defines a semantics and axiomatization with the Modal Change Logic (MCL).
OIL & UPML: A Unifying Framework for the Knowledge Web.
16 Citations2000D.A. Fensel, Monica Crubézy +2 more
A process and jig for field bending relatively large diameter plastic pipe, theJig being to guide the pipe at the point of tangency adjacent the bend after the pipe is heated and bent to form a smooth curvature to the desired radius and degree of bend as determined by the jig.