{"id":{"repo_id":"qucosa-diss","oai_identifier":"oai:qucosa:de:qucosa:23678"},"canonical_url":"https://search.dev.ndltd.org/etd/qucosa-diss/oai:qucosa:de:qucosa:23678","repository":{"repo_id":"qucosa-diss","name":"QUCOSA","base_url":"http://www.qucosa.de/oai/"},"display":{"title":"Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies","abstract":"Description Logics (DLs) belong to a successful family of knowledge representation formalisms with two key assets: formally well-defined semantics which allows to represent knowledge in an unambiguous way and automated reasoning which allows to infer implicit knowledge from the one given explicitly. This thesis investigates various reasoning techniques for tractable DLs in the EL family which have been implemented in the CEL system. It suggests that the use of the lightweight DLs, in which reasoning is tractable, is beneficial for ontology design and maintenance both in terms of expressivity and scalability. The claim is supported by a case study on the renown medical ontology SNOMED CT and extensive empirical evaluation on several large-scale biomedical ontologies.","abstract_html":"Description Logics (DLs) belong to a successful family of knowledge representation formalisms with two key assets: formally well-defined semantics which allows to represent knowledge in an unambiguous way and automated reasoning which allows to infer implicit knowledge from the one given explicitly. This thesis investigates various reasoning techniques for tractable DLs in the EL family which have been implemented in the CEL system. It suggests that the use of the lightweight DLs, in which reasoning is tractable, is beneficial for ontology design and maintenance both in terms of expressivity and scalability. The claim is supported by a case study on the renown medical ontology SNOMED CT and extensive empirical evaluation on several large-scale biomedical ontologies.","abstract_has_math":false,"creators":["Suntisrivaraporn, Boontawee"],"institution":"Technische Universität Dresden","degree_name":null,"degree_level":"thesis.doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":["Baader, Franz","Horrocks, Ian","Möller, Ralf"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009-01-21","date_published":"2009-01-21","updated_at":"2026-07-24T03:57:28Z","subjects":["Description Logic","Tractable reasoning","Polynomial algorithms","Biomedical ontologies","Ontology design","CEL reasoner","DL systems","Beschreibungslogik","polynomielle Schlussfolgerung","polynomielle Algorithmen","biomedizinische Ontologien","Ontologie-Entwurf","Beschreibungslogik-Systeme"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Baader, Franz","Horrocks, Ian","Möller, Ralf"]},{"key":"dc:creator","label":"Author","values":["Suntisrivaraporn, Boontawee"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden","Technische Universität Dresden"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]},{"key":"thesis:degree_level","label":"Degree Level","values":["thesis.doctoral"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Technische Universität Dresden"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Description Logic","Tractable reasoning","Polynomial algorithms","Biomedical ontologies","Ontology design","CEL reasoner","DL systems","Beschreibungslogik","polynomielle Schlussfolgerung","polynomielle Algorithmen","biomedizinische Ontologien","Ontologie-Entwurf","Beschreibungslogik-Systeme"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Description Logics (DLs) belong to a successful family of knowledge representation formalisms with two key assets: formally well-defined semantics which allows to represent knowledge in an unambiguous way and automated reasoning which allows to infer implicit knowledge from the one given explicitly. This thesis investigates various reasoning techniques for tractable DLs in the EL family which have been implemented in the CEL system. It suggests that the use of the lightweight DLs, in which reasoning is tractable, is beneficial for ontology design and maintenance both in terms of expressivity and scalability. The claim is supported by a case study on the renown medical ontology SNOMED CT and extensive empirical evaluation on several large-scale biomedical ontologies."]},{"key":"dc:title","label":"Title","values":["Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies"]}]}],"canonical_facts":{"dc:contributor":["Baader, Franz","Horrocks, Ian","Möller, Ralf"],"dc:creator":["Suntisrivaraporn, Boontawee"],"dc:description.abstract":["Description Logics (DLs) belong to a successful family of knowledge representation formalisms with two key assets: formally well-defined semantics which allows to represent knowledge in an unambiguous way and automated reasoning which allows to infer implicit knowledge from the one given explicitly. This thesis investigates various reasoning techniques for tractable DLs in the EL family which have been implemented in the CEL system. It suggests that the use of the lightweight DLs, in which reasoning is tractable, is beneficial for ontology design and maintenance both in terms of expressivity and scalability. The claim is supported by a case study on the renown medical ontology SNOMED CT and extensive empirical evaluation on several large-scale biomedical ontologies."],"dc:publisher":["Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden","Technische Universität Dresden"],"dc:subject":["Description Logic","Tractable reasoning","Polynomial algorithms","Biomedical ontologies","Ontology design","CEL reasoner","DL systems","Beschreibungslogik","polynomielle Schlussfolgerung","polynomielle Algorithmen","biomedizinische Ontologien","Ontologie-Entwurf","Beschreibungslogik-Systeme"],"dc:title":["Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies"],"dc:type":["doctoralThesis"],"thesis:degree_level":["thesis.doctoral"],"thesis:institution_name":["Technische Universität Dresden"]},"updated_at":"2026-07-24T03:57:28Z"}