{"id":"https://openalex.org/W61925538","doi":"https://doi.org/10.3233/978-1-60750-535-8-45","title":"Towards Ontological Correctness of Part-whole Relations with Dependent Types","display_name":"Towards Ontological Correctness of Part-whole Relations with Dependent Types","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W61925538","doi":"https://doi.org/10.3233/978-1-60750-535-8-45","mag":"61925538"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-535-8-45","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-535-8-45","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/A5004353463","display_name":"Richard Dapoigny","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dapoigny Richard","raw_affiliation_strings":["LISTIC - Laboratoire d'Informatique, Syst\u00e8mes, Traitement de l'Information et de la Connaissance (BP 80439 74944 ANNECY LE VIEUX Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISTIC - Laboratoire d'Informatique, Syst\u00e8mes, Traitement de l'Information et de la Connaissance (BP 80439 74944 ANNECY LE VIEUX Cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049593125","display_name":"Patrick Barlatier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barlatier Patrick","raw_affiliation_strings":["LISTIC - Laboratoire d'Informatique, Syst\u00e8mes, Traitement de l'Information et de la Connaissance (BP 80439 74944 ANNECY LE VIEUX Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISTIC - Laboratoire d'Informatique, Syst\u00e8mes, Traitement de l'Information et de la Connaissance (BP 80439 74944 ANNECY LE VIEUX Cedex - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7102,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84304797,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"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.9998999834060669,"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.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/correctness","display_name":"Correctness","score":0.6874371767044067},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5964820384979248},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.5854937434196472},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5813413858413696},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.45763328671455383},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.42549192905426025},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3854074478149414},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2682480216026306},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24393025040626526},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07950273156166077}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6874371767044067},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5964820384979248},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5854937434196472},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5813413858413696},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.45763328671455383},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.42549192905426025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3854074478149414},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2682480216026306},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24393025040626526},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07950273156166077},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-60750-535-8-45","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-535-8-45","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"},{"id":"pmh:oai:HAL:hal-00498191v1","is_oa":false,"landing_page_url":"https://univ-smb.hal.science/hal-00498191","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Sixth international Conference on Formal ontology in information Systems (FOIS 2010), May 2010, Toronto, Canada. pp. 45-58","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W20475417","https://openalex.org/W37320630","https://openalex.org/W1490709150","https://openalex.org/W1536122795","https://openalex.org/W1542417898","https://openalex.org/W1553976193","https://openalex.org/W1600049781","https://openalex.org/W1710051061","https://openalex.org/W1995176426","https://openalex.org/W1996857980","https://openalex.org/W2030658843","https://openalex.org/W2049362364","https://openalex.org/W2108234081","https://openalex.org/W2124729849","https://openalex.org/W2799057409","https://openalex.org/W3046148828"],"related_works":["https://openalex.org/W2051058708","https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W1494268238","https://openalex.org/W1607380236","https://openalex.org/W1604988569","https://openalex.org/W2053685668","https://openalex.org/W2914625303"],"abstract_inverted_index":{"Generally,":[0],"part-whole":[1,97],"relations":[2,98],"are":[3,99,116],"modeled":[4],"using":[5,76],"fragments":[6],"of":[7,40,48,96,122],"first-order":[8],"logic(FOL)":[9],"and":[10,89,112],"difficulties":[11,54],"arise":[12],"when":[13],"meta-reasoning":[14],"is":[15,62],"done":[16],"over":[17],"their":[18,110],"properties,":[19],"leading":[20],"to":[21,55,67,118],"reason":[22],"outside":[23],"the":[24],"logic.":[25],"Alternatively,":[26],"classical":[27],"languages":[28],"for":[29,130],"ontological":[30],"reasoning":[31,131],"such":[32,82],"as":[33,83],"Description":[34],"Logics":[35],"+":[36],"Logic":[37],"Programming":[38],"lack":[39],"expressive":[41],"formal":[42,74,123],"foundations":[43],"resulting":[44],"in":[45,86],"ambiguous":[46],"interpretations":[47],"relations.":[49],"Moreover,":[50],"they":[51,115],"show":[52],"some":[53],"prove":[56],"that":[57,125],"a":[58,73,77],"given":[59],"meta":[60],"property":[61],"logically":[63],"correct.":[64],"In":[65],"order":[66],"address":[68],"these":[69],"problems,":[70],"we":[71],"suggest":[72],"framework":[75],"dependent":[78],"(higher-order)":[79],"type":[80],"theory":[81],"those":[84],"used":[85,129],"program":[87],"checking":[88],"theorem":[90],"provers":[91],"(e.g.,":[92],"Coq).":[93],"All":[94],"properties":[95,124],"formalized":[100],"through":[101],"abstract":[102],"constructs":[103],"called":[104],"parameterized":[105],"specifications":[106],"(p-specifications).":[107],"We":[108],"detail":[109],"content":[111],"explain":[113],"how":[114],"suitable":[117],"build":[119],"an":[120],"ontology":[121],"can":[126],"be":[127],"further":[128],"about":[132],"higher-order":[133],"properties.":[134]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}