Decision Retrieval and Storage Enabled Through Description Logic

2007 ◽  
Author(s):  
Gregory M. Mocko ◽  
David W. Rosen ◽  
Farrokh Mistree
Keyword(s):  
Knowledge Representation ◽  
Product Development ◽  
Cantilever Beam ◽  
Description Logic ◽  
Decision Models ◽  
Design Decision ◽  
Engineering Knowledge ◽  
Query Concepts ◽  
And Storage

The problem addressed in the paper is how to represent the knowledge associated with design decision models to enable storage, retrieval, and reuse. The paper concerns the representations and reasoning mechanisms needed to construct decision models of relevance to engineered product development. Specifically, AL[E][N] description logic is proposed as a formalism for modeling engineering knowledge and for enabling retrieval and reuse of archived models. Classification hierarchies are constructed using subsumption in DL. Retrieval of archived models is supported using subsumption and query concepts. In our methodology, design decision models are constructed using the base vocabulary and reuse is supported through reasoning and retrieval capabilities. Application of the knowledge representation for the design of a cantilever beam is demonstrated.

Layered Product Knowledge Representation and Reasoning With OWL and SWRL

2008 ◽  
Author(s):  
Jung-Do Noh ◽  
Hyo-Won Suh
Keyword(s):  
Product Development ◽  
Data Model ◽  
Description Logic ◽  
Knowledge Representation And Reasoning ◽  
Design Knowledge ◽  
Design Decision ◽  
Product Knowledge ◽  
Product Data ◽  
Ontology Language ◽  
Product Data Model

Traditionally, product development process has required knowledge management techniques to capture information and knowledge about design. In the meantime, the necessity for sharing and exchanging not only product data but also semantics of product data has been arisen because of the use of various software tools and product data models in distributed product development environment. The main focus of this research has been on exploiting implicit engineers’ design knowledge by explicitly expressing and sharing the knowledge through terms representing semantics of product data. In particular, it considers that distributed product design data can be semantically integrated by using ontology on which implicit design knowledge can be captured in the form of IF-THEN rule. Thus, in this paper, we use the Web Ontology Language (OWL), which is a Description Logic based ontology language, to represent product data and the Semantic Web Rule Language (SWRL), which is a rule based ontology language, to express design knowledge for car air purifiers in Prote´ge´. Then, this paper shows how OWL product data model and SWRL design knowledge can support design decision making of car air purifiers by their reasoning. In addition, it also demonstrates how SWRL can complement OWL to build product data model as well.

scholarly journals Knowledge Representation of Highly Dynamic Ontologies Using Defeasible Logic

2021 ◽  
Vol 10 (2) ◽  
pp. 948-954
Keyword(s):  
Computational Complexity ◽  
Knowledge Representation ◽  
Knowledge Base ◽  
Description Logic ◽  
Defeasible Logic ◽  
Small Domain ◽  
Automated Support ◽  
Logical Rules

Description logic gives us the ability of reasoning with acceptable computational complexity with retaining the power of expressiveness. The power of description logic can be accompanied by the defeasible logic to manage non-monotonic reasoning. In some domains, we need flexible reasoning and knowledge representation to deal the dynamicity of such domains. In this paper, we present a DL representation for a small domain that describes the connections between different entities in a university publication system to show how could we deal with changeability in domain rules. An automated support can be provided on the basis of defeasible logical rules to represent the typicality in the knowledge base and to solve the conflicts that might happen.

scholarly journals Unifying Class-Based Representation Formalisms

1999 ◽  
Vol 11 ◽  
pp. 199-240 ◽  
Author(s):  
D. Calvanese ◽  
M. Lenzerini ◽  
D. Nardi
Keyword(s):  
Knowledge Representation ◽  
Description Logic ◽  
Description Logics ◽  
Expressive Power ◽  
Finite Model ◽  
Functional Dependencies ◽  
Semantic Data ◽  
Representation Systems ◽  
Frame Systems ◽  
Essential Set

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representation languages used in different contexts. The proposed formalism is expressed in the style of description logics, which have been introduced in knowledge representation as a means to provide a semantically well-founded basis for the structural aspects of knowledge representation systems. The description logic considered in this paper is a subset of first order logic with nice computational characteristics. It is quite expressive and features a novel combination of constructs that has not been studied before. The distinguishing constructs are number restrictions, which generalize existence and functional dependencies, inverse roles, which allow one to refer to the inverse of a relationship, and possibly cyclic assertions, which are necessary for capturing real world domains. We are able to show that it is precisely such combination of constructs that makes our logic powerful enough to model the essential set of features for defining class structures that are common to frame systems, object-oriented database languages, and semantic data models. As a consequence of the established correspondences, several significant extensions of each of the above formalisms become available. The high expressiveness of the logic we propose and the need for capturing the reasoning in different contexts forces us to distinguish between unrestricted and finite model reasoning. A notable feature of our proposal is that reasoning in both cases is decidable. We argue that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, our logic provides a common core for class-based representation formalisms.

Structured Modeling of Mechatronic Components Using Multiport Templates

2000 ◽  
Author(s):  
Michael K. Hales ◽  
Ronald C. Rosenberg
Keyword(s):  
Mathematical Modeling ◽  
Product Development ◽  
New Product Development ◽  
Lead Time ◽  
New Product ◽  
Mechatronic System ◽  
Mechatronic Systems ◽  
Engineering Knowledge ◽  
Structured Modeling ◽  
Design Alternatives

Abstract Mathematical modeling of mechatronic systems is increasing in its importance to industry for product development. Mathematical modeling helps companies reduce the lead time for new product development, allows for consideration of more design alternatives, provides a means for capture of engineering knowledge, and facilitates sharing of engineering efforts with suppliers. Structured modeling further assists engineers in meeting these goals by supporting effective, clear communication of model information. This paper describes a modeling environment for mechatronic system design based on structured modeling concepts. Structured modeling is implemented using a multiport template approach. A multiport template allows the engineer to create new user-defined model types, which are in turn used to create computational instances. The focus is on mechatronic component modeling. Illustrations of the method are given.

Grammar of Dynamic Knowledge for Collaborative Knowledge Engineering and Representation

2015 ◽  
pp. 326-353 ◽  
Author(s):  
Cyril Pshenichny ◽  
Dmitry Mouromtsev
Keyword(s):  
Knowledge Representation ◽  
Collaborative Research ◽  
Knowledge Engineering ◽  
Shared Understanding ◽  
Mathematical Foundation ◽  
Engineering Knowledge ◽  
Changing Environments ◽  
Constructive Discussion ◽  
Collaborative Knowledge

Constructive discussion must lead to a shared understanding. This understanding is commonly expressed as text; however, for the purposes of collaborative research, the tools of knowledge engineering/knowledge representation look more appropriate. The problem with them is that, to the present day, they are developed largely for the tasks that imply fixed relations between things and their properties, termed here as static. However, collaborative research often deals with fields of knowledge that represent changing environments where these relations cannot be considered fixed, and the tools to capture scenarios of evolution (i.e. the dynamic tools of knowledge engineering) are far from that evolved as static ones, mainly due to the lack of strict logical or mathematical foundation for representation of dynamic knowledge. This chapter presents an attempt to formulate a unified grammar to encode the knowledge of changing environments in any field of science.

A Multidisciplinary Framework to Model Complex Team-Based Product Development

2015 ◽  
Author(s):  
Shun Takai
Keyword(s):  
Game Theory ◽  
Decision Making ◽  
Product Development ◽  
Decision Analysis ◽  
Equilibrium Analysis ◽  
Design Decision ◽  
Behavioral Game Theory ◽  
Model Complex ◽  
Behavioral Game ◽  
Team Project

This paper investigates a multidisciplinary framework that simulates design decisions in a complex team-based product development in which engineers simultaneously work in a team project and individual projects. The proposed framework integrates cooperative and noncooperative design models with (1) equilibrium analysis, (2) uncertainty modeling based on behavioral game-theory results, and (3) decision-making using decision analysis. In the proposed framework, noncooperative design is used to simulate engineers’ decisions about team project commitment and to analyze potential free-riding; cooperative design is used to model design outcomes when engineers collaborate in the team project; equilibrium analysis and behavioral game-theory results are used to infer about other engineers’ decisions; and decision analysis is used to calculate expected values of decision alternatives. The proposed framework and the design decision-making model are illustrated using a pressure vessel design as a team project conducted by two engineers: a design engineer and a materials engineer.

Sign in / Sign up

Export Citation Format

Share Document