Linked Data Architect
- Slovak Republic
- Information Technology and Services
Miroslav Líška's Overview
- Semantic Web Architect at Datalan
- Team Leader, Analysis & Testing Department at Ability Development SK, a.s.
- Programmer, Analyst at All Finance Services
Miroslav Líška's Experience
Semantic Web Architect
Privately Held; 201-500 employees; Information Technology and Services industry
2007 – Present (7 years)
- SESAME, Jena
Native triple stores:
- OWLIM, AllegroGraph, JenaTDB, StarDog
- RDF, OWL, SPARQL, SWRL
Team Leader, Analysis & Testing Department
Public Company; 51-200 employees; Information Technology and Services industry
2005 – 2006 (1 year)
UML, RUP, MDA, MOF, EA, OCL
Miroslav Líška's Projects
Proposed Data Semantic Annotation Using Standardized Web Ontologies and URI Identifiers to the Slovak Government
- May 2013 to Present
The project proposes standardized ontologies and URI identifier for the Slovak Government Data semantic annotation. The actual specification comprises semantic annotation of: Person, Organization, Address, Administrative Unit, Drug and Geospatial Entity. For the annotation purposes we use RDF, OWL, SKOS, ADMS Vocabulary, Core Person & Business Vocabulary together with GeoNames Ontology, FOAF Vocabulary, WGS84 POS RDF Vocabulary, TMO Ontology, LAU/NUTS RAMON Ontology and others. The document either proposes standardized URI identifier design pattern of a Slovak resource.
Miroslav Líška's Skills & Expertise
- Semantic Web
- Software Development
- Semantic Search
- Software Design
- Linked Data
- Semantic Analysis
- Search Engine Optimization
- Requirements Analysis
- Linked Government Data
- Linked Medical Data
- Semantic Technologies
- Knowledge Representation
Miroslav Líška's Publications
- In Michal Laclavík, M.and Ladislav Hluchý Proceedings of the 5th Workshop on Intelligent and Knowledge oriented Technologies (WIKT 2010). Pages 82 - 86. Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia
- Information Sciences and Technologies Bulletin of the ACM Slovakia, 2011, Slovak University of Technology Press, Bratislava.
SPEM is MDA’s standard used to define software and systems development processes and their components. Unfortunately, its specification is semiformal, thus it is not possible to make and to verify created language statements with formal techniques such as the consistency or satisfiability verification. In order to solve this insufficiency, we propose an approach to SPEM transformation to the Semantic Web technical space that results into the SPEM ontology creation. Additionally, we present three approach’s utilizations that are: a SPEM model validation with ontology, an ontology based approach to project planning and an approach to software project enactment with a supplier.
- In 14th East-European Conference on Advances in Databases and Information Systems (ADBIS2010), Lecture Notes in Computer Science, 2011, Volume 6295, Pages 378-391, Springer.
An Approach to Project Planning Employing Software and Systems Engineering Meta-Model Represented by an Ontology
- Computer Science and Information Systems Journal (COMSIS)
An Approach to Ontology Oriented Employment of SPEM
- In Mária Bieliková Proceedings of IIT.SRC 2010: Student Research Conference in Informatics and Information Technologies, pages 308–315, Bratislava, Slovakia, 2010, STU.
An Approach of Ontology Oriented SPEM Models Validation
- In Luís Pires and Slimane Hammoudi Proceedings of the First International Workshop on Future Trends of Model-Driven Development (FTMDD2009). In conjuction with 11th International Conference on Enterprise Information Systems (ICEIS2010), pages 40–43, Milan
Developing an Ontology for SPEM Method Content Models Validation
- In Mária Bieliková Proceedings of IIT.SRC 2009: Student Research Conference in Informatics and Information Technologies, pages 179–185, Bratislava, Slovakia, 2009, STU.
UML Model Validation with the Axiomatic Knowledge Architecture
- In Proceedings of IWCIT2008-The Seventh International PhD Students’ Workshop Control and Information Technology, pages 164–169, Gliwice, Poland, 2008.
Reducing risks of UML Model Validation
- In Peter Vojtáš Proceedings of ITAT 2008, pages 67–72, Hrebienok, Slovakia, 2008.
Constructing expert system for Model Driven Development
- In Mária Bieliková Proceedings of IIT.SRC 2007: Student Research Conference in Informatics and Information Technologies, pages 49–50, Bratislava, Slovakia, 2007, STU.
Model driven development enhancement with analysis agent system
- In AIESA 2007, Bratislava, Slovakia, 2007, FHI EUBA.
Constructing expert system for Model Driven Development.
- In Michal Laclavík, Ivana Budinská, Ladislav Hluchý Proceedings of 1st Workshop on Intelligent and Knowledge oriented Technologies (WIKT 2006), pages 135–138, Bratislava, Slovakia, 2006, Slovak Academy of Science.
Constructing multi-theories expert system for UML models validation
- In Ivan Plander Proceedings of Informatics’ 2007: Proceedings of the Ninth International Conference on Informatics, pages 163–169, Bratislava, Slovakia, 2007, Slovak Society for Applied Cybernetics and Informatics
Formal Unified Process
- In Mária Bieliková Proceedings of IIT.SRC 2006: Student Research Conference in Informatics and Information Technologies, pages 220–226, Bratislava, Slovakia, 2006, STU.
Extensional and intensional semantics of PUML objects.
- In Mária Bieliková Proceedings of IIT.SRC 2005: Student Research Conference in Informatics and Information Technologies, pages 167–174, Bratislava, Slovakia, 2005, STU
- ComSIS Consortium
The Guide to the Software Engineering Body of Knowledge (SWEBOK) provides a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline. The topic “Notation for Process Definition” references selected notations appropriate for software process definition. However all of them have weakly defined semantics, thus is not possible to use formal techniques for process model creation, validation etc. In this work we present created Software and Systems Process Engineering Meta-Model (SPEM) Ontology that improves the lack of mentioned process notations. The SPEM Ontology constitutes a semantic notation that provides concepts for knowledge based software process engineering. The work also discusses utilization of such semantic notation in other selected SWEBOK topics, the Software Project Planning, the Software Project Enactment, and the Verification and Validation.
Miroslav Líška's Education
Miroslav Líška's Additional Information
Jena – A Semantic Web Framework for Java + Tomcat + Java OWL - Web Ontology Language RDF - Resource Description Language SPARQL - Query Language for RDF SWRL - A Semantic Web Rule Language
- Groups and Associations:
Contact Miroslav for:
- career opportunities
- consulting offers
- new ventures
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch