{"id":"https://openalex.org/W2268016521","doi":"https://doi.org/10.3233/978-1-60750-949-3-439","title":"Logical Support for Terminological Modeling","display_name":"Logical Support for Terminological Modeling","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2268016521","doi":"https://doi.org/10.3233/978-1-60750-949-3-439","mag":"2268016521","pmid":"https://pubmed.ncbi.nlm.nih.gov/15360851"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-949-3-439","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-949-3-439","pdf_url":null,"source":{"id":"https://openalex.org/S4210179765","display_name":"Studies in health technology and informatics","issn_l":"0926-9630","issn":["0926-9630","1879-8365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Health Technology and Informatics","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075365612","display_name":"Stefan Schlobach","orcid":"https://orcid.org/0000-0002-3282-1597"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schlobach Stefan","raw_affiliation_strings":["Language and Inference Technology, Universiteit von Amsterdam, Nieuwe Achtergracht 166, 1018 WV Amsterdam, The Netherlands. schlobac@science.uva.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Language and Inference Technology, Universiteit von Amsterdam, Nieuwe Achtergracht 166, 1018 WV Amsterdam, The Netherlands. schlobac@science.uva.nl","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017129044","display_name":"Ronald Cornet","orcid":"https://orcid.org/0000-0002-1704-5980"},"institutions":[{"id":"https://openalex.org/I4210163477","display_name":"Institute for Medical Informatics and Biostatistics","ror":"https://ror.org/04e79zk25","country_code":"CH","type":"facility","lineage":["https://openalex.org/I4210163477"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Cornet Ronald","raw_affiliation_strings":["Medical Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Medical Informatics","institution_ids":["https://openalex.org/I4210163477"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.484,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70780051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"107","issue":"Pt 1","first_page":"439","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9846000075340271,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/terminology","display_name":"Terminology","score":0.7971889972686768},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7089799642562866},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.623680830001831},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5191899538040161},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.49855732917785645},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.4615144729614258},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.4540884494781494},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45367878675460815},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.4462088346481323},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.44615063071250916},{"id":"https://openalex.org/keywords/logical-data-model","display_name":"Logical data model","score":0.4153950810432434},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.40987253189086914},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.32981234788894653},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3215261697769165},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.27884939312934875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2553320527076721},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.14297711849212646},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1353186070919037},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07001838088035583}],"concepts":[{"id":"https://openalex.org/C547195049","wikidata":"https://www.wikidata.org/wiki/Q1725664","display_name":"Terminology","level":2,"score":0.7971889972686768},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7089799642562866},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.623680830001831},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5191899538040161},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.49855732917785645},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.4615144729614258},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.4540884494781494},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45367878675460815},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.4462088346481323},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.44615063071250916},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.4153950810432434},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.40987253189086914},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.32981234788894653},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3215261697769165},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27884939312934875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2553320527076721},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.14297711849212646},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1353186070919037},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07001838088035583},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[{"descriptor_ui":"D007254","descriptor_name":"Information Science","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D007254","descriptor_name":"Information Science","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D007254","descriptor_name":"Information Science","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008962","descriptor_name":"Models, Theoretical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008962","descriptor_name":"Models, Theoretical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008962","descriptor_name":"Models, Theoretical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009626","descriptor_name":"Terminology as Topic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009626","descriptor_name":"Terminology as Topic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009626","descriptor_name":"Terminology as Topic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D018875","descriptor_name":"Vocabulary, Controlled","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D018875","descriptor_name":"Vocabulary, Controlled","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D018875","descriptor_name":"Vocabulary, Controlled","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-60750-949-3-439","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-949-3-439","pdf_url":null,"source":{"id":"https://openalex.org/S4210179765","display_name":"Studies in health technology and informatics","issn_l":"0926-9630","issn":["0926-9630","1879-8365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Health Technology and Informatics","raw_type":"book-chapter"},{"id":"pmid:15360851","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/15360851","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in health technology and informatics","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W40788541","https://openalex.org/W205962927","https://openalex.org/W1582819115","https://openalex.org/W1670748022","https://openalex.org/W2057513565","https://openalex.org/W2111386773","https://openalex.org/W2145465694","https://openalex.org/W2159151673","https://openalex.org/W2411143815"],"related_works":["https://openalex.org/W2311306072","https://openalex.org/W1945364905","https://openalex.org/W2348686280","https://openalex.org/W1540734423","https://openalex.org/W2368956577","https://openalex.org/W279778610","https://openalex.org/W2531205399","https://openalex.org/W2937584494","https://openalex.org/W2355314240","https://openalex.org/W2182906514"],"abstract_inverted_index":{"Terminological":[0],"modeling,":[1],"in":[2,4],"particular":[3],"medical":[5],"domains,":[6],"is":[7,39,93,97],"difficult":[8],"and":[9,65,87],"has":[10],"enjoyed":[11],"growing":[12],"attention":[13],"over":[14],"the":[15,29,33,36,50,75],"recent":[16],"past.":[17],"In":[18,56],"practice,":[19],"logical":[20,37,70,94],"reasoning":[21,71,100,120],"can":[22],"play":[23],"a":[24,54,67,78,83],"fundamental":[25],"role":[26],"to":[27,61,73,81,104],"support":[28,74,92],"modeling":[30,91],"process.":[31],"Nevertheless,":[32],"development":[34],"of":[35,53,69,77,110,117],"tools":[38],"usually":[40],"driven":[41],"by":[42,49],"computational":[43],"or":[44],"theoretical":[45],"criteria":[46],"rather":[47],"than":[48],"direct":[51],"needs":[52],"modeler.":[55],"this":[57,63,111],"paper":[58],"we":[59],"attempt":[60],"shift":[62],"balance":[64],"discuss":[66],"number":[68],"services":[72,101],"modeler":[76],"(medical)":[79],"terminology":[80],"construct":[82],"formally":[84,105],"sound,":[85],"complete":[86],"concise":[88],"terminology.":[89],"This":[90],"as":[95],"it":[96],"based":[98],"on":[99],"with":[102],"respect":[103],"defined":[106],"semantics.":[107],"Practical":[108],"results":[109],"systematic":[112],"discussion":[113],"are":[114],"formal":[115],"definitions":[116],"several":[118],"new":[119],"tasks.":[121]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}