%0 Book Section %1 hyland_protege-ts_2020 %A Hyland, Ian %A Schmidt, Renate A %B DL 2020 : Description Logics 2020 Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Online, September 12th to 14th, 2020 %D 2020 %E Borgwardt, Stefan %E Meyer, Thomas %K ontologien %N 2663 %P 14 %T Protégé-TS : an OWL ontology term selection tool %U http://ceur-ws.org/Vol-2663/paper-12.pdf %X This paper introduces Prot´eg´e-Term Selection (Prot´eg´e-TS), a software tool developed to support and partially automate the process of constructing OWL ontology signatures. Prot´eg´e-TS works from an OWL 2 based source ontology to assist the user in creating a signature which is composed of a list of concepts and roles. Such signature lists are often needed when working with ontologies. For example, the signature can be fed to a forgetting or modularisation tool in order to compute an output ontology which retains all the relevant logical entailments of the source ontology. The Prot´eg´e-TS tool implements a range of operations which allow the user to create and edit signatures of concept and role names in ontologies. This paper describes the functionality and architecture of the tool which has been implemented as a Java plugin to Prot´eg´e, and an evaluation of the tool when applied to several large scale ontologies, with an example focus on the medical ontology SNOMED-CT.

@incollection{hyland_protege-ts_2020, abstract = {This paper introduces Prot´eg´e-Term Selection (Prot´eg´e-TS), a software tool developed to support and partially automate the process of constructing OWL ontology signatures. Prot´eg´e-TS works from an OWL 2 based source ontology to assist the user in creating a signature which is composed of a list of concepts and roles. Such signature lists are often needed when working with ontologies. For example, the signature can be fed to a forgetting or modularisation tool in order to compute an output ontology which retains all the relevant logical entailments of the source ontology. The Prot´eg´e-TS tool implements a range of operations which allow the user to create and edit signatures of concept and role names in ontologies. This paper describes the functionality and architecture of the tool which has been implemented as a Java plugin to Prot´eg´e, and an evaluation of the tool when applied to several large scale ontologies, with an example focus on the medical ontology SNOMED-CT.}, added-at = {2020-09-14T15:19:24.000+0200}, author = {Hyland, Ian and Schmidt, Renate A}, biburl = {https://www.bibsonomy.org/bibtex/2385d24ef92b1df4ff6997bd9eb347710/lepsky}, booktitle = {{DL} 2020 : {Description} {Logics} 2020 {Proceedings} of the 33rd {International} {Workshop} on {Description} {Logics} ({DL} 2020) co-located with the 17th {International} {Conference} on {Principles} of {Knowledge} {Representation} and {Reasoning} ({KR} 2020) {Online}, {September} 12th to 14th, 2020}, editor = {Borgwardt, Stefan and Meyer, Thomas}, file = {Hyland und Schmidt - Prot´eg´e-TS An OWL Ontology Term Selection Tool.pdf:/Users/le/Zotero/storage/HJDA2WJ4/Hyland und Schmidt - Prot´eg´e-TS An OWL Ontology Term Selection Tool.pdf:application/pdf}, interhash = {78bceecedeadcdffbaa44ddb42f21889}, intrahash = {385d24ef92b1df4ff6997bd9eb347710}, keywords = {ontologien}, language = {en}, number = 2663, pages = 14, series = {{CEUR} workshop proceedings}, timestamp = {2020-09-14T15:19:24.000+0200}, title = {Protégé-{TS} : an {OWL} ontology term selection tool}, url = {http://ceur-ws.org/Vol-2663/paper-12.pdf}, year = 2020 }