{"id":"https://openalex.org/W2740094155","doi":"https://doi.org/10.24963/ijcai.2017/122","title":"Making Cross Products and Guarded Ontology Languages Compatible","display_name":"Making Cross Products and Guarded Ontology Languages Compatible","publication_year":2017,"publication_date":"2017-07-28","ids":{"openalex":"https://openalex.org/W2740094155","doi":"https://doi.org/10.24963/ijcai.2017/122","mag":"2740094155"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2017/122","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/122","pdf_url":"https://www.ijcai.org/proceedings/2017/0122.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2017/0122.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078941176","display_name":"Pierre Bourhis","orcid":"https://orcid.org/0000-0001-5699-0320"},"institutions":[{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pierre Bourhis","raw_affiliation_strings":["CNRS & Lille 1 University","LINKS - Linking Dynamic Data (France)"],"affiliations":[{"raw_affiliation_string":"CNRS & Lille 1 University","institution_ids":["https://openalex.org/I2279609970"]},{"raw_affiliation_string":"LINKS - Linking Dynamic Data (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050387054","display_name":"Michael Morak","orcid":"https://orcid.org/0000-0002-2077-7672"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Michael Morak","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067962748","display_name":"Andr\u00e9as Pieris","orcid":"https://orcid.org/0000-0003-4779-3469"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andreas Pieris","raw_affiliation_strings":["University of Edinburgh","School of Informatics [Edimbourg] (Informatics Forum 10 Crichton Street Edinburgh EH8 9AB - United Kingdom)"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"School of Informatics [Edimbourg] (Informatics Forum 10 Crichton Street Edinburgh EH8 9AB - United Kingdom)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078941176"],"corresponding_institution_ids":["https://openalex.org/I2279609970"],"apc_list":null,"apc_paid":null,"fwci":1.4535,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.86768556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"880","last_page":"886"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9962000250816345,"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.7924407124519348},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6740880012512207},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.651576817035675},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.609416127204895},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.5931458473205566},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.560804009437561},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5506758093833923},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5407689809799194},{"id":"https://openalex.org/keywords/formal-ontology","display_name":"Formal ontology","score":0.4623692035675049},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4549103379249573},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36852800846099854},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3058250844478607},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.27785515785217285},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.17762747406959534},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1272033154964447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7924407124519348},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6740880012512207},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.651576817035675},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.609416127204895},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.5931458473205566},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.560804009437561},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5506758093833923},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5407689809799194},{"id":"https://openalex.org/C2778177438","wikidata":"https://www.wikidata.org/wiki/Q1437388","display_name":"Formal ontology","level":4,"score":0.4623692035675049},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4549103379249573},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36852800846099854},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3058250844478607},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.27785515785217285},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.17762747406959534},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1272033154964447},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.24963/ijcai.2017/122","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/122","pdf_url":"https://www.ijcai.org/proceedings/2017/0122.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/9c1d7957-31fd-4d26-8ccd-a156bb8c83cd","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.research.ed.ac.uk/en/publications/9c1d7957-31fd-4d26-8ccd-a156bb8c83cd","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:publications/9c1d7957-31fd-4d26-8ccd-a156bb8c83cd","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/9c1d7957-31fd-4d26-8ccd-a156bb8c83cd","pdf_url":"https://www.research.ed.ac.uk/en/publications/9c1d7957-31fd-4d26-8ccd-a156bb8c83cd","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bourhis, P, Morak, M & Pieris, A 2017, Making Cross Products and Guarded Ontology Languages Compatible. in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). pp. 880-886, 26th International Joint Conference on Artificial Intelligence, Melbourne, Victoria, Australia, 19/08/17. https://doi.org/10.24963/ijcai.2017/122","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:HAL:hal-01638346v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01638346","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"IJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.880-886, ⟨10.24963/ijcai.2017/122⟩","raw_type":"Conference papers"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/23907","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/23907","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2017/122","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/122","pdf_url":"https://www.ijcai.org/proceedings/2017/0122.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5458651130","display_name":null,"funder_award_id":"M025268","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6783783255","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6851345361","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G794676242","display_name":null,"funder_award_id":"ANR-16-CE40-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8891597062","display_name":null,"funder_award_id":"EP/M025268/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2740094155.pdf","grobid_xml":"https://content.openalex.org/works/W2740094155.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W5051221","https://openalex.org/W126873717","https://openalex.org/W1482134990","https://openalex.org/W1483892218","https://openalex.org/W1490430258","https://openalex.org/W1570923164","https://openalex.org/W1824207140","https://openalex.org/W1991981864","https://openalex.org/W2103738827","https://openalex.org/W2104356397","https://openalex.org/W2115600083","https://openalex.org/W2134483537","https://openalex.org/W2256467415","https://openalex.org/W2533772561","https://openalex.org/W2896827736","https://openalex.org/W2950379689","https://openalex.org/W4293765636"],"related_works":["https://openalex.org/W2749819226","https://openalex.org/W2120921192","https://openalex.org/W1494700156","https://openalex.org/W1501276147","https://openalex.org/W2115969784","https://openalex.org/W195714804","https://openalex.org/W2974760014","https://openalex.org/W2767177617","https://openalex.org/W324168225","https://openalex.org/W2139922983"],"abstract_inverted_index":{"Cross":[0],"products":[1,44,70],"form":[2],"a":[3,32,83,129],"useful":[4],"modelling":[5],"tool":[6],"that":[7,27,64,132,160],"allows":[8],"us":[9],"to":[10,24,106,110],"express":[11],"natural":[12],"statements":[13],"such":[14,53],"as":[15,54,128],"\"elephants":[16],"are":[17,71,161],"bigger":[18],"than":[19],"mice\",":[20],"or,":[21],"more":[22],"generally,":[23],"define":[25],"relations":[26],"connect":[28],"every":[29,35],"instance":[30,36],"in":[31,37],"relation":[33],"with":[34,73,141,163],"another":[38],"relation.":[39],"Despite":[40],"their":[41],"usefulness,":[42],"cross":[43,69,142,164],"cannot":[45],"be":[46],"expressed":[47],"using":[48],"existing":[49],"guarded":[50,59,74,98,121],"ontology":[51,75,138],"languages,":[52,76],"description":[55],"logics":[56],"(DLs)":[57],"and":[58,144,152],"existential":[60,99],"rules.":[61],"The":[62],"question":[63],"comes":[65],"up":[66],"is":[67,82,105],"whether":[68,80],"compatible":[72,162],"and,":[77],"if":[78],"not,":[79],"there":[81],"way":[84],"of":[85,123,135,150],"making":[86],"them":[87],"compatible.":[88],"This":[89],"has":[90],"been":[91],"already":[92],"studied":[93],"for":[94,97],"DLs,":[95],"while":[96],"rules":[100],"remains":[101],"unanswered.":[102],"Our":[103],"goal":[104],"give":[107],"an":[108],"answer":[109],"the":[111,120,136,147],"above":[112],"question.":[113],"To":[114],"this":[115],"end,":[116],"we":[117,145,156],"focus":[118],"on":[119],"fragment":[122],"first-order":[124],"logic":[125],"(which":[126],"serves":[127],"unifying":[130],"framework":[131],"subsumes":[133],"many":[134],"aforementioned":[137],"languages)":[139],"extended":[140],"products,":[143],"investigate":[146],"standard":[148],"tasks":[149],"satisfiability":[151],"query":[153],"answering.":[154],"Interestingly,":[155],"isolate":[157],"relevant":[158],"fragments":[159],"products.":[165]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}