Rome: A repository to support the integration of models over the lifecycle of model-based engineering processes

Wedel, L. von; Marquardt, Wolfgang

doi:10.1016/s1570-7946(00)80091-7

Cited by 19 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The non-standard inferences considered in this paper were introduced to overcome this deficit, by allowing the user to construct new knowledge from the existing one. Our own motivation for investigating these novel inferences comes from an application in chemical process engineering where a knowledge base has been built by different knowledge engineers over a rather long period of time [87,71,80,44,35,77,94].…”

Section: Man(john) Child(john Mary) Happy(mary)mentioning

confidence: 99%

Nonstandard Inferences in Description Logics: The Story So Far

Baader

Küsters

2006

International Mathematical Series

View full text Add to dashboard Cite

Description logics (DLs) are a successful family of logic-based knowledge representation formalisms that can be used to represent the terminological knowledge of an application domain in a structured and formally well-founded way. DL systems provide their users with inference procedures that allow to reason about the represented knowledge. Standard inference problems (such as the subsumption and the instance problem) are now well-understood. Their computational properties (such as decidability and complexity) have been investigated in detail, and modern DL systems are equipped with highly optimized implementations of these inference procedures, which-in spite of their high worst-case complexity-perform quite well in practice.In applications of DL systems it has turned out that building and maintaining large DL knowledge bases can be further facilitated by procedures for other, nonstandard inference problem, such as computing the least common subsumer and the most specific concept, and rewriting and matching of concepts. While the research concerning these non-standard inferences is not as mature as the one for the standard inferences, it has now reached a point where it makes sense to motivate these inferences within a uniform application framework, give an overview of the results obtained so far, describe the remaining open problems, and give perspectives for future research in this direction.

show abstract

Section: Man(john) Child(john Mary) Happy(mary)mentioning

confidence: 99%

Nonstandard Inferences in Description Logics: The Story So Far

Baader

Küsters

2006

International Mathematical Series

View full text Add to dashboard Cite

show abstract

“…At the Process Systems Institute at RWTH Aachen we have designed the system Rome (Repository of a Modeling Environment) to support the model building process based on the aforementioned ideas [20]. A rough sketch of the basic software architecture is shown in Fig.…”

Section: Rome: a Prototype For Model Managementmentioning

confidence: 99%

Management and Reuse of Mathematical Models in the Industrial Design Process

Eggersmann¹,

Wedel²,

Marquardt³

2004

Chem Eng & Technol

Self Cite

View full text Add to dashboard Cite

The use of model-based methods to support planning, designing, and operating chemical processes and plants has recently gained an increased importance in the daily work of process engineers. The development of mathematical models through the use of standard flow sheet simulation tools requires the expertise of an experienced designer. Therefore, the value of existing models is not limited to the resources required for their development, but also includes value in the form of knowledge about an enterprise's products and production processes. The reuse of existing models and design experiences in order to lower the costs of model development is therefore economically desirable. This report gives an overview of the systematic long-term management and use of mathematical models. Some motivating scenarios are used to derive the requirements for a model management system and to evaluate existing methods and tools. The results of these example scenarios are then used to guide the development of a model management system. After presenting a prototypical implementation the article concludes with an outlook on the future importance of model management systems.

show abstract

“…The lcs is motivated by various applications, including similarity-based information retrieval [32,30] and inductive learning [18,15,14,16]. The one that has mainly driven the work presented here is the bottom-up construction of knowledge bases [5,7] in the context of chemical process engineering [36,34,12]. In a nutshell, in this application the knowledge engineer wishes to define a new concept description-in the process of building and refining the knowledge base bottom-up-by simply choosing more specific concept descriptions that are already stored in the knowledge base and then let the DL system compute the lcs of the chosen concept descriptions as a candidate for the new description to be defined.…”

Section: Introductionmentioning

confidence: 99%

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Küsters

Molitor²

2005

Stud Logica

View full text Add to dashboard Cite

The least common subsumer (lcs) of a set of concept descriptions is the most specific concept description that subsumes all of the concept descriptions in the given set. By computing the lcs, commonalities between concept descriptions can be made explicit. This is an important inference task useful in several applications, including, for instance, the bottom-up construction of description logic knowledge bases.Previous work on the lcs has concentrated on description logics that either allow for number restrictions or for existential restrictions. Many applications, however, require to combine these constructors. In this work, we present an algorithm for computing the lcs in the description logic ALEN which comprises both constructors-number and existential restrictions-as well as concept conjunction, primitive negation, and value restrictions. To prove correctness of our lcs algorithm, we develop a structural characterization of subsumption in ALEN .

show abstract

Rome: A repository to support the integration of models over the lifecycle of model-based engineering processes

Cited by 19 publications

References 5 publications

Nonstandard Inferences in Description Logics: The Story So Far

Nonstandard Inferences in Description Logics: The Story So Far

Management and Reuse of Mathematical Models in the Industrial Design Process

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Contact Info

Product

Resources

About