description logic software engineering

Abstract: Description logic is proposed as a powerful language able to supp...

Abstract: Description logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering.

⬇ Download Full Version

Model-driven Software Engineering with Description Logics. Steffen Staab. W...

Model-driven Software Engineering with Description Logics. Steffen Staab. With Fernando Parreiras, Gerd Gröner, Tobias Walter. Universität Koblenz-Landau.

⬇ Download Full Version

Chapter Conceptual Modeling with Description Logics Chapter Software Engine...

Chapter Conceptual Modeling with Description Logics Chapter Software Engineering Chapter Description Logic for Configuration Chapter   ‎Expressive Description Logics · ‎From Description Logics · ‎Software Engineering.

⬇ Download Full Version

Software process Composition tree Description logics Automatic reasoning Pr...

Software process Composition tree Description logics Automatic reasoning Process verification Behavior engineering Software engineering.

⬇ Download Full Version

This chapter provides an introduction to Description Logics as a formal Con...

This chapter provides an introduction to Description Logics as a formal Conference on Software Engineering, p, May ,

⬇ Download Full Version

The knowledge-based software engineering (KBSE) research paradigm is . fram...

The knowledge-based software engineering (KBSE) research paradigm is . framework, called description logics (DLs), to gain certain advantages over.

⬇ Download Full Version

description of various ontology-based approaches in Software Engineering, ....

description of various ontology-based approaches in Software Engineering, .. 29] were among the first approaches that applied description logics to Software.

⬇ Download Full Version

representation systems based on Description Logics and the first these incl...

representation systems based on Description Logics and the first these include Software Engineering, Configuration, Medicine, and Digital Libraries.

⬇ Download Full Version

Official Full-Text Paper (PDF): Representing Software Process in Descriptio...

Official Full-Text Paper (PDF): Representing Software Process in Description Composition Tree (CT) notation, a Behavior Engineering approach has been.

⬇ Download Full Version

software development ontology providing the crucial matching support for CB...

software development ontology providing the crucial matching support for CBSE that is Description logic is particularly interesting for the software engineering.

⬇ Download Full Version

The model of a domain in Description Logics is embedded in a knowledge base...

The model of a domain in Description Logics is embedded in a knowledge base. Software engineering Software engineering was one of the first.

⬇ Download Full Version

To enable automatic verification, we introduce Description Logic (DL) [14] ...

To enable automatic verification, we introduce Description Logic (DL) [14] to formalize To build the model, software engineers would start with analysis of the.

⬇ Download Full Version

Keywords: Description Logics, Model Driven Architecture, Tableau Model-driv...

Keywords: Description Logics, Model Driven Architecture, Tableau Model-driven engineering (MDE) introduces a software development shift form the.

⬇ Download Full Version

A. Borgida, M. Lenzerini and R. Rosati, “Description logics for databases”,...

A. Borgida, M. Lenzerini and R. Rosati, “Description logics for databases”, in ||6|, pp. – A. Cali, D. Calvanese, G. De Giacomo and M. Lenzerini, “A formal.

⬇ Download Full Version

In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol...

In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. I damage my ontology? a case for conservative extensions in description logics.

⬇ Download Full Version