SOFTWARE AND KNOWLEDGE-BASED SYSTEMS (SaKS)

 

The SaKS research group studies the logical foundations and the engineering methodologies for the construction of software and knowledge-based systems. The research areas where the group is active include Formal Models and Semantics of Software Systems, Knowledge Representation, Automated Reasoning, Software Engineering, Data and Knowledge Engineering, and Information Systems.

 

 The group also develops applications of software and knowledge-based technologies in several fields, such as Business Process Modeling, e-Health, e-Learning, Geomatics, Human-Computer Interaction, Software Verification and Validation, Semantic Web, Research Evaluation and Bibliometrics. Research results are mainly experimented in the framework of European and national projects.

 The activity of the group is performed along five main research lines: 1) Data Bases, 2) Information Systems, 3) Knowledge Bases, 4) Logic, Semantics and Programming, and 5) Software Engineering.


Research topics
INFORMATION SYSTEMS

The group studies methods and systems for collecting, storing, processing, and communicating information and, in particular, Social Network-based Information Systems, Geographic Information Systems, and Human-Computer Interaction.


KNOWLEDGE BASES

The SaKS group studies methods for representing and reasoning about knowledge, as well as their application to the engineering of knowledge-based systems. In particular, the topics of interest include: construction and management of Domain Ontologies, Semantic Annotation, Semantic Similarity and Relatedness Reasoning, Semantic Interoperability, Semantic Search, Semantic Web, Decision Support Systems, Semantic Document Management, Bibliometrics, and Qualitative Spatial Reasoning.


DATA BASES

The SaKS group studies methods and techniques for data management with a focus on Big OLAP Data, Business Intelligence, Data Integration, Data Modelling and Advanced Query Languages, and Spatial Databases.


SOFTWARE ENGINEERING

The SaKS group investigates methods in computer science and software engineering for the design of frameworks aiding to model, analyze, and develop reliable software systems. Topics of interest include: Model-Driven Engineering, Software Architectures, Service-oriented Architectures, Business Process Modeling and Simulation, Software Testing, Validation, and Verification.


LOGIC, SEMANTICS AND PROGRAMMING

The research group studies logic-based methods and techniques and their application to reason about computational systems, with a focus on Automated Theorem Proving, Constraint Logic Programming, Semantics of Programming Languages and Systems, Formal Verification of software systems, semantics-based Program Analysis, Synthesis, and Transformation. 


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -