To become a part in the science community we want to share our knowledge openly.
Below you will find several publications from Cognitum reasearchers, employers
- P. Kaplanski,
Syntactic modular decomposition of large
ontologies with relational database, 2009
Support for modularity allows complex ontologies to be separated into smaller
pieces (modules) that are easier to maintain and compute. Instead of considering
the entire complex ontology, users may benefit more by starting from a
problem-specific set of concepts (signature of problem) from the ontology and
exploring its surrounding logical modules. Additionally, an ontology
modularization mechanism allows for the splitting up of ontologies into modules
that can be processed by isolated separate instances of the inference engine.
The relational algorithm, described in this paper, makes it possible to
construct an inference engine that can run in a highly scalable cloud computing
environment, or on a computer grid.
P. Kaplanski, Description Logic based generator of data centric applications, 2011
The knowledge stored in Ontology Management Systems (OMS) that
originally has the form of expressions, can be seen as a user application
specification or as knowledge provided by an expert. The generator of
applications discussed in this paper is defined as a program that automatically
generates an application that meets a certain specification stored in OMS. It is
shown that it is possible to build a user interface for data management with an
algorithm that crawls over taxonomy inferred by the description logic reasoner.
Finally, an example prototype of a medical application will be discussed to
prove the feasibility of the proposed approach.
P. Kaplanski, Controlled English interface for Knowledge Bases, 2011
This paper describes the approach to interface for OWL
Knowledge Bases based on Controlled English that is transformed directly to OWL
2 expressions and back. Two possible modes enable usage of the interface to
specify Terminology, World Description as well as Integrity Constrains.
Knowledge Base then can be validated against the Integrity Constrains to enable
its continuous validation.
Keywords: OWL, Controlled Natural Language, Description Logic, Knowledge Base.
- P. Kaplanski,
A. Wroblewska, A. Zieba, P. Zarzycki,
Practical applications of controlled natural language with description logics and OWL. FluentEditor and OASE., 2012
FluentEditor for OWL is comprehensive tool for editing and
manipulating complex ontologies using Controlled Natural Language. Fluent editor
provides alternative to XML-based OWL editors that is better suitable for human
users. Its main feature is using Controlled English as a knowledge modeling
language. Supported via Predictive Editor prohibits one to enter any sentence
that is not grammatically or morphologically correct and actively help the user
during sentence writing. The Controlled English is a subset of Standard English
with restricted grammar and vocabulary in order to reduce the ambiguity and
complexity inherent in full English. Ontology-Aided Software Engineering (OASE)
is a semiotic framework for software development. It extends the existing
methodologies with an ability to express the supporting knowledge in
(controlled) natural language called OASE-English.
A. Wróblewska, A. Zięba, R. Mieńkowska, P. Kapłański, P.Zarzycki, Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration, 2012
This paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and automated reasoning in these fields.
Keywords: crisis management, EU policy coordination, knowledge management system, semantic technologies, ontologies, controlled, natural language, system analysis.
P. Kapłański, Ontology-Aided Software Engineering, PhD Dissertation, 2012
This thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE).
Software industry is knowledge oriented industry. Usually, the knowledge has form of source code, comments, as well as supporting specifications written in natural language. Unfortunately, written specifications prevent from automatic processing of knowledge therein. It is possible to process the knowledge with formal methods but, mainly due to the lack in education about supporting tools, it is very hard to implement in the organization.
The aim of this thesis is to prove that:
1) It is possible to define a Common, Object Oriented Language by using the Controlled Natural Language as a verbalization of Description Logic.
2) Introduced language is understandable for people and can be automatically processed by machines. It can also be used in many areas of software development where natural language is currently used.
3) The language can be used to aid the software production process with ontology engineering.
We consider here controlled subject of natural language called OASE-English (developped by the author). OASE-English is a verbalization of Description Logic, that is intended to deal with the software design. It is a formal language that can express knowledge about the computer program in a way that is accessible to a wide group of users (developers, testers, designers, end-users).
Description logic (the W3C OWL2 formalism) allows for the expression of certain important, static structures of the computer program (inference about the characteristics of these structures is computable and complete).
We show that static structures are common in software engineering (e.g. UML class diagrams, the structure of design patterns, certain requirements). Moreover we present how one can write contracts, whose consistency is being investigated in the runtime.
Besides the support for software development, we have discovered that it is possible to use OASE-Tools in terms of components of practical software solutions, that not originate from software engineering itself.
Keywords:PhD Dissertation, software engineering, description logic, ontology, controlled natural language, methodology, artificial intelligence, knowledge representation and reasoning, model driven engineering, CNL, AI, KRR, MDE, MDA, CASE, OASE.
A. Wróblewska, P. Kapłański, P. Zarzycki, I. Ługowska, Semantic Rules Representation in Controlled Natural Language in FluentEditor, 2013
The purpose of this paper is to present a way of representation of semantic rules (SWRL) in controlled natural language (English) in order to facilitate understanding the rules by humans interacting with a machine. The rule representation is implemented in FluentEditor – ontology editor with controlled natural language (CNL). The representation can be used in a lot of domains where people interact with machines and use specialized interfaces to define knowledge in a system (semantic knowledge base), e.g. representing medical knowledge and guidelines, procedures in crisis management or in management of any coordination processes. Such knowledge bases are able to support decision making in any discipline provided there is a knowledge stored in a proper semantic way.
Keywords: controlled natural language, decision support, ontologies, semantic web rule language.