Persons
Ing. Petr Křemen, Ph.D.
Dissertation topics
Query Evaluation in Expressive Ontologies
- Branch of study: Computer Science – Department of Computer Science
- Department: Department of Computer Science
-
Description:
The goal is to formalize, organize and optimalize query evaluation over expressive formal ontologies formulated as description logic theories and evaluate their properties on synthetic and real-world ontologies.
Semantic web information systems
- Branch of study: Computer Science – Department of Cybernetics
- Department: Department of Cybernetics
-
Description:
Information systems for semantic web have many specifics, stemming from the open-world nature of the latter. This topic includes theoretical as well as experimental research in the field of information system design based on evolving distributed ontologies, including ORM-like alignment of ontology and object models, their lifecycles, and access to persistent ontologies. https://kbss.felk.cvut.cz/web/portal/home
