{"id":"https://openalex.org/W267718","doi":"https://doi.org/10.3233/ao-2012-0113","title":"A type-theoretical approach for ontologies: The case of roles","display_name":"A type-theoretical approach for ontologies: The case of roles","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W267718","doi":"https://doi.org/10.3233/ao-2012-0113","mag":"267718"},"language":"en","primary_location":{"id":"doi:10.3233/ao-2012-0113","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ao-2012-0113","pdf_url":null,"source":{"id":"https://openalex.org/S31619775","display_name":"Applied Ontology","issn_l":"1570-5838","issn":["1570-5838","1875-8533"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Ontology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://philpapers.org/archive/BARATA-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049593125","display_name":"Patrick Barlatier","orcid":null},"institutions":[{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Patrick Barlatier","raw_affiliation_strings":["LISTIC/Polytech'Annecy-Chamb\u00e9ry, University of Savoie, Annecy-le-Vieux, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISTIC/Polytech'Annecy-Chamb\u00e9ry, University of Savoie, Annecy-le-Vieux, France","institution_ids":["https://openalex.org/I70900168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004353463","display_name":"Richard Dapoigny","orcid":null},"institutions":[{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Richard Dapoigny","raw_affiliation_strings":["LISTIC/Polytech'Annecy-Chamb\u00e9ry, University of Savoie, Annecy-le-Vieux, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISTIC/Polytech'Annecy-Chamb\u00e9ry, University of Savoie, Annecy-le-Vieux, France","institution_ids":["https://openalex.org/I70900168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.9806,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.93327462,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"7","issue":"3","first_page":"311","last_page":"356"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9961000084877014,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9952999949455261,"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.8239279985427856},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7689025402069092},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5789313316345215},{"id":"https://openalex.org/keywords/problem-of-universals","display_name":"Problem of universals","score":0.5614381432533264},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5502819418907166},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5360249876976013},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5271303653717041},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5204555988311768},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4096762239933014},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31186020374298096},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1821637749671936},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10838973522186279}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8239279985427856},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7689025402069092},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5789313316345215},{"id":"https://openalex.org/C16592111","wikidata":"https://www.wikidata.org/wiki/Q6092032","display_name":"Problem of universals","level":2,"score":0.5614381432533264},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5502819418907166},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5360249876976013},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5271303653717041},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5204555988311768},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4096762239933014},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31186020374298096},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1821637749671936},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10838973522186279},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3233/ao-2012-0113","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ao-2012-0113","pdf_url":null,"source":{"id":"https://openalex.org/S31619775","display_name":"Applied Ontology","issn_l":"1570-5838","issn":["1570-5838","1875-8533"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Ontology","raw_type":"journal-article"},{"id":"pmh:oai:philarchive.org/rec/BARATA-5","is_oa":true,"landing_page_url":"https://philarchive.org/rec/BARATA-5","pdf_url":"https://philpapers.org/archive/BARATA-5.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-00732371v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00732371","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":"Applied Ontology, 2012, 7 (3), pp.311-356. ⟨10.3233/AO-2012-0113⟩","raw_type":"Journal articles"},{"id":"pmh:oai:philpapers.org/rec/BARATA-5","is_oa":false,"landing_page_url":"https://philpapers.org/rec/BARATA-5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:philarchive.org/rec/BARATA-5","is_oa":true,"landing_page_url":"https://philarchive.org/rec/BARATA-5","pdf_url":"https://philpapers.org/archive/BARATA-5.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W267718.pdf","grobid_xml":"https://content.openalex.org/works/W267718.grobid-xml"},"referenced_works_count":110,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W50384777","https://openalex.org/W59128197","https://openalex.org/W61925538","https://openalex.org/W70893897","https://openalex.org/W121387480","https://openalex.org/W121749421","https://openalex.org/W126458859","https://openalex.org/W126922010","https://openalex.org/W159715351","https://openalex.org/W163434799","https://openalex.org/W202363913","https://openalex.org/W326743114","https://openalex.org/W411154952","https://openalex.org/W574664264","https://openalex.org/W578063101","https://openalex.org/W591396785","https://openalex.org/W594105642","https://openalex.org/W645324539","https://openalex.org/W1483661952","https://openalex.org/W1485894532","https://openalex.org/W1488538795","https://openalex.org/W1497682552","https://openalex.org/W1498951763","https://openalex.org/W1504884872","https://openalex.org/W1514975018","https://openalex.org/W1516346799","https://openalex.org/W1520893111","https://openalex.org/W1538467230","https://openalex.org/W1541653499","https://openalex.org/W1542417898","https://openalex.org/W1544633123","https://openalex.org/W1546656393","https://openalex.org/W1546759054","https://openalex.org/W1549406551","https://openalex.org/W1553976193","https://openalex.org/W1556656669","https://openalex.org/W1582062578","https://openalex.org/W1585533089","https://openalex.org/W1598846611","https://openalex.org/W1608751598","https://openalex.org/W1641078044","https://openalex.org/W1705152440","https://openalex.org/W1710051061","https://openalex.org/W1796076224","https://openalex.org/W1803729400","https://openalex.org/W1808012217","https://openalex.org/W1820513038","https://openalex.org/W1836283670","https://openalex.org/W1838321713","https://openalex.org/W1847033326","https://openalex.org/W1867436870","https://openalex.org/W1882406771","https://openalex.org/W1940888119","https://openalex.org/W1953288567","https://openalex.org/W1963240911","https://openalex.org/W1964772738","https://openalex.org/W1970378524","https://openalex.org/W1972566901","https://openalex.org/W1978246972","https://openalex.org/W1986402635","https://openalex.org/W1991183254","https://openalex.org/W1996857980","https://openalex.org/W1998017916","https://openalex.org/W2006977573","https://openalex.org/W2008578397","https://openalex.org/W2030658843","https://openalex.org/W2038429440","https://openalex.org/W2048715330","https://openalex.org/W2056420273","https://openalex.org/W2057745114","https://openalex.org/W2065373041","https://openalex.org/W2083322221","https://openalex.org/W2084797476","https://openalex.org/W2095378146","https://openalex.org/W2097395913","https://openalex.org/W2098162728","https://openalex.org/W2103260426","https://openalex.org/W2105925956","https://openalex.org/W2106718208","https://openalex.org/W2108234081","https://openalex.org/W2112445580","https://openalex.org/W2120663022","https://openalex.org/W2121939662","https://openalex.org/W2126814423","https://openalex.org/W2130485792","https://openalex.org/W2133992441","https://openalex.org/W2136651263","https://openalex.org/W2138474070","https://openalex.org/W2140305396","https://openalex.org/W2144192824","https://openalex.org/W2145554685","https://openalex.org/W2146435850","https://openalex.org/W2153006281","https://openalex.org/W2165108943","https://openalex.org/W2165208241","https://openalex.org/W2166602595","https://openalex.org/W2167039673","https://openalex.org/W2169449312","https://openalex.org/W2170657691","https://openalex.org/W2211325406","https://openalex.org/W2240818974","https://openalex.org/W2299199230","https://openalex.org/W2494576483","https://openalex.org/W2495908263","https://openalex.org/W2586836196","https://openalex.org/W2799057409","https://openalex.org/W3101932690","https://openalex.org/W3144889436","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2911529331","https://openalex.org/W2045726866","https://openalex.org/W2354320020","https://openalex.org/W4244275182","https://openalex.org/W4247277368","https://openalex.org/W2749819226","https://openalex.org/W1998044538","https://openalex.org/W2057110953","https://openalex.org/W2076851072","https://openalex.org/W1862275504"],"abstract_inverted_index":{"In":[0],"the":[1],"domain":[2],"of":[3],"ontology":[4],"design":[5],"as":[6,8],"well":[7],"in":[9],"Knowledge":[10],"Representation,":[11],"modeling":[12],"universals":[13],"is":[14],"a":[15],"challenging":[16],"problem.":[17],"Most":[18],"approaches":[19],"that":[20],"have":[21],"addressed":[22],"this":[23],"problem":[24],"rely":[25],"on":[26],"Description":[27],"Logics":[28],"(DLs)":[29],"but":[30],"many":[31],"difficulties":[32],"remain,":[33],"due":[34],"to":[35],"under-constr":[36]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}