Miroslav Líška

Miroslav Líška

Linked Data Architect

Location
Slovak Republic
Industry
Information Technology and Services

As a LinkedIn member, you'll join 300 million other professionals who are sharing connections, ideas, and opportunities.

  • See who you and Miroslav Líška know in common
  • Get introduced to Miroslav Líška
  • Contact Miroslav Líška directly

View Miroslav's full profile

Miroslav Líška's Overview

Current
  • Semantic Web Architect at Datalan
Past
Education
Connections

196 connections

Websites

Miroslav Líška's Experience

Semantic Web Architect

Datalan

Privately Held; 201-500 employees; Information Technology and Services industry

2007Present (7 years)

Semantic frameworks:
- SESAME, Jena

Native triple stores:
- OWLIM, AllegroGraph, JenaTDB, StarDog

Ontology editors:
- Protege

Languages:
- RDF, OWL, SPARQL, SWRL

Team Leader, Analysis & Testing Department

Ability Development SK, a.s.

Public Company; 51-200 employees; Information Technology and Services industry

20052006 (1 year)

UML, RUP, MDA, MOF, EA, OCL

Programmer, Analyst

All Finance Services

20022003 (1 year)

ASP.NET, VISUAL C#, HTML, XML
MS SQL, OLAP
JAVA SCRIPT
UML, RUP

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

  1. OWL
  2. Semantic Web
  3. Java
  4. RDF
  5. Software Development
  6. Architecture
  7. SPARQL
  8. Semantic Search
  9. Software Design
  10. Linked Data
  11. Geonames
  12. SKOS
  13. WGS84_POS
  14. FOAF
  15. sesame
  16. jena
  17. OWLIM
  18. openrdf
  19. Semantic Analysis
  20. Search Engine Optimization
  21. Requirements Analysis
  22. Linked Government Data
  23. Linked Medical Data
  24. Linux
  25. JavaScript
  26. Semantic Technologies
  27. Architectures
  28. Knowledge Representation
  29. HTML
  30. REST
  31. UML
  32. MDA

View All (32) Skills View Fewer Skills

Miroslav Líška's Publications

  • An Ontology Driven Approach to Software Process Engineering

    • 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
    • 2010
  • Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology

    • Information Sciences and Technologies Bulletin of the ACM Slovakia, 2011, Slovak University of Technology Press, Bratislava.
    • 2010
    Authors: Miroslav Líška

    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.

  • An Ontology Based 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.
    • 2010
  • An Approach to Project Planning Employing Software and Systems Engineering Meta-Model Represented by an Ontology

    • Computer Science and Information Systems Journal (COMSIS)
    • 2010
    Authors: Miroslav Líška
  • 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.
    • 2010
    Authors: Miroslav Líška
  • 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
    • 2009
    Authors: Miroslav Líška
  • 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.
    • 2009
    Authors: Miroslav Líška
  • 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.
    Authors: Miroslav Líška
  • Reducing risks of UML Model Validation

    • In Peter Vojtáš Proceedings of ITAT 2008, pages 67–72, Hrebienok, Slovakia, 2008.
    • 2008
    Authors: Miroslav Líška
  • 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.
    • 2007
    Authors: Miroslav Líška
  • Model driven development enhancement with analysis agent system

    • In AIESA 2007, Bratislava, Slovakia, 2007, FHI EUBA.
    • 2007
    Authors: Miroslav Líška
  • 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.
    • 2006
    Authors: Miroslav Líška
  • 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
    • 2007
    Authors: Miroslav Líška
  • 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.
    • 2006
    Authors: Miroslav Líška
  • 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
    • 2005
    Authors: Miroslav Líška
  • SPEM Ontology as the Semantic Notation for Method and Process Definition in the Context of SWEBOK

    • ComSIS Consortium
    • 2011

    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

Slovenská technická univerzita v Bratislave

PhD., Software and Knowledge Engineering

20032010

Technická univerzita v Košiciach

MSc., Informatics

19962002

Contact Miroslav for:

  • career opportunities
  • consulting offers
  • new ventures
  • job inquiries
  • expertise requests
  • business deals
  • reference requests
  • getting back in touch

View Miroslav Líška’s full profile to...

  • See who you and Miroslav Líška know in common
  • Get introduced to Miroslav Líška
  • Contact Miroslav Líška directly

View Miroslav's full profile

Not the Miroslav Líška you were looking for? View more »

Viewers of this profile also viewed...