{"id":"https://openalex.org/W4407811824","doi":"https://doi.org/10.3233/978-1-58603-923-3-49","title":"Formal Semantics and Ontologies","display_name":"Formal Semantics and Ontologies","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W4407811824","doi":"https://doi.org/10.3233/978-1-58603-923-3-49"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-923-3-49","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-923-3-49","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"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/A5020824094","display_name":"Frank Loebe","orcid":"https://orcid.org/0000-0003-4537-5212"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Loebe Frank","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020087024","display_name":"Heinrich Herre","orcid":"https://orcid.org/0000-0001-5343-9218"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Herre Heinrich","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020824094"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.40911463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.7502999901771545,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.7502999901771545,"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/computer-science","display_name":"Computer science","score":0.5343922972679138},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5162848830223083},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.49692943692207336},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4468362629413605}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5343922972679138},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5162848830223083},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.49692943692207336},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4468362629413605}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-58603-923-3-49","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-923-3-49","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2162604396","https://openalex.org/W2362341649","https://openalex.org/W4324054641","https://openalex.org/W2146445117","https://openalex.org/W3007870257","https://openalex.org/W1495012123","https://openalex.org/W2387088991","https://openalex.org/W2051867508","https://openalex.org/W148613377","https://openalex.org/W2562904493"],"abstract_inverted_index":{"Formal":[0],"ontology":[1,166,181],"relies":[2],"on":[3,21,102,125],"representation":[4],"languages":[5,16],"for":[6,69,151,167],"expressing":[7],"ontologies.":[8,195],"This":[9,65,145],"involves":[10],"the":[11,34,40,60,114,134,140,171,192],"formal":[12,37],"semantics":[13,38,86,95,112,136,190],"of":[14,25,43,63,94,110,116,133,139,159,173,194],"these":[15],"which":[17,71,96,182],"is":[18,53,66,87,97,143],"typically":[19],"based":[20,101],"a":[22,51,91,107,148,156,175,185],"limited":[23],"set":[24],"abstract":[26],"mathematical":[27],"notions.":[28],"In":[29,48,79,120,170],"this":[30,49,83,111],"paper,":[31],"we":[32,178],"discuss":[33],"interplay":[35],"between":[36],"and":[39,99,128,155,198],"intended":[41],"role":[42],"ontologies":[44,56,70],"as":[45,90,184,201,203],"semantic":[46],"foundation.":[47],"connection":[50],"circularity":[52],"identified":[54],"if":[55],"are":[57,72,206],"to":[58,73,81,113,122,191],"determine":[59],"conceptual":[61],"equivalence":[62],"expressions.":[64],"particularly":[67],"relevant":[68],"be":[74],"provided":[75],"in":[76,137,147,187],"multiple":[77],"formalisms.":[78],"order":[80,118,121,153],"overcome":[82],"situation,":[84],"ontological":[85,103,160,189],"generally":[88],"defined":[89],"novel":[92],"kind":[93],"purely":[98],"directly":[100],"entities.":[104],"We":[105],"sketch":[106],"specific":[108],"application":[109],"syntax":[115],"first":[117,152],"logic.":[119],"beneficially":[123],"rely":[124],"theoretical":[126],"results":[127,146],"reasoning":[129],"systems,":[130],"an":[131,165,180],"approximation":[132],"proposed":[135],"terms":[138],"conventional":[141],"approach":[142],"established.":[144],"formalization":[149,193],"method":[150],"logic":[154],"translation-based":[157],"variant":[158],"semantics.":[161],"Both":[162],"variants":[163],"involve":[164],"their":[168],"application.":[169],"context":[172],"developing":[174],"top-level":[176],"ontology,":[177],"outline":[179],"serves":[183],"meta-ontology":[186],"applying":[188],"Finally,":[196],"resolved":[197],"remaining":[199],"issues":[200],"well":[202],"related":[204],"approaches":[205],"briefly":[207],"discussed.":[208]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}