{"id":"https://openalex.org/W4225342794","doi":"https://doi.org/10.1093/logcom/exac032","title":"An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas","display_name":"An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas","publication_year":2022,"publication_date":"2022-03-29","ids":{"openalex":"https://openalex.org/W4225342794","doi":"https://doi.org/10.1093/logcom/exac032"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exac032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac032","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03833721","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018227263","display_name":"David Carral","orcid":"https://orcid.org/0000-0001-7287-4709"},"institutions":[{"id":"https://openalex.org/I19894307","display_name":"Universit\u00e9 de Montpellier","ror":"https://ror.org/051escj72","country_code":"FR","type":"education","lineage":["https://openalex.org/I19894307"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4412460525"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"David Carral","raw_affiliation_strings":["LIRMM, Inria , University of Montpellier, CNRS, 161 Rue Ada, 34095, Montpellier, France","Centre National de la Recherche Scientifique"],"affiliations":[{"raw_affiliation_string":"LIRMM, Inria , University of Montpellier, CNRS, 161 Rue Ada, 34095, Montpellier, France","institution_ids":["https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001661326","display_name":"Joseph Zalewski","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph Zalewski","raw_affiliation_strings":["Data Semantics Laboratory , Department of Computer Science, Kansas State University, 1701D Platt St., Manhattan, KS 66506, USA"],"affiliations":[{"raw_affiliation_string":"Data Semantics Laboratory , Department of Computer Science, Kansas State University, 1701D Platt St., Manhattan, KS 66506, USA","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006872667","display_name":"Pascal Hitzler","orcid":"https://orcid.org/0000-0001-6192-3472"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pascal Hitzler","raw_affiliation_strings":["Data Semantics Laboratory , Department of Computer Science, Kansas State University, 1701D Platt St., Manhattan, KS 66506, USA"],"affiliations":[{"raw_affiliation_string":"Data Semantics Laboratory , Department of Computer Science, Kansas State University, 1701D Platt St., Manhattan, KS 66506, USA","institution_ids":["https://openalex.org/I189590672"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018227263"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I19894307","https://openalex.org/I4210101743"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50006876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"33","issue":"1","first_page":"136","last_page":"162"},"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9955000281333923,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.995199978351593,"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/datalog","display_name":"Datalog","score":0.926872193813324},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.7980809211730957},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.7870199680328369},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6251824498176575},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5410157442092896},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.5233627557754517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5090436339378357},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4927223026752472},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46161067485809326},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.43034303188323975},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.4176425635814667},{"id":"https://openalex.org/keywords/semantic-web-rule-language","display_name":"Semantic Web Rule Language","score":0.41729119420051575},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34811756014823914},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3423342704772949},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33638983964920044},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3246133327484131},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24474814534187317}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.926872193813324},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.7980809211730957},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.7870199680328369},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6251824498176575},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5410157442092896},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.5233627557754517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5090436339378357},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4927223026752472},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46161067485809326},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.43034303188323975},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.4176425635814667},{"id":"https://openalex.org/C71695816","wikidata":"https://www.wikidata.org/wiki/Q3478367","display_name":"Semantic Web Rule Language","level":5,"score":0.41729119420051575},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34811756014823914},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3423342704772949},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33638983964920044},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3246133327484131},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24474814534187317},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C148792806","wikidata":"https://www.wikidata.org/wiki/Q7449046","display_name":"Semantic analytics","level":4,"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/C167379230","wikidata":"https://www.wikidata.org/wiki/Q1026884","display_name":"Semantic Web Stack","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exac032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac032","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03833721v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03833721","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 2022, 33 (1), pp.exac032. ⟨10.1093/logcom/exac032⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03833721v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03833721","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 2022, 33 (1), pp.exac032. ⟨10.1093/logcom/exac032⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W22718786","https://openalex.org/W52777552","https://openalex.org/W55962619","https://openalex.org/W167552799","https://openalex.org/W1532158393","https://openalex.org/W1555563750","https://openalex.org/W1590363793","https://openalex.org/W1601038846","https://openalex.org/W1791430325","https://openalex.org/W1857739986","https://openalex.org/W1988818178","https://openalex.org/W1989009626","https://openalex.org/W2041200987","https://openalex.org/W2100515808","https://openalex.org/W2106251409","https://openalex.org/W2146008005","https://openalex.org/W2153279156","https://openalex.org/W2154829072","https://openalex.org/W2159873096","https://openalex.org/W2175785087","https://openalex.org/W2241862190","https://openalex.org/W2248098515","https://openalex.org/W2285905490","https://openalex.org/W2308482216","https://openalex.org/W2404056264","https://openalex.org/W2567780591","https://openalex.org/W2608239929","https://openalex.org/W2612288690","https://openalex.org/W2810730020","https://openalex.org/W4206031975","https://openalex.org/W4300635244","https://openalex.org/W6607390835","https://openalex.org/W6632379675","https://openalex.org/W6675871130","https://openalex.org/W6688666592","https://openalex.org/W6694822605","https://openalex.org/W6732482872","https://openalex.org/W6757313682"],"related_works":["https://openalex.org/W2021763726","https://openalex.org/W1560405360","https://openalex.org/W3202202588","https://openalex.org/W1582258607","https://openalex.org/W201976190","https://openalex.org/W2911529331","https://openalex.org/W2022988079","https://openalex.org/W2112052971","https://openalex.org/W2405742406","https://openalex.org/W2136478753"],"abstract_inverted_index":{"Abstract":[0],"Nominal":[1,34],"schemas":[2,35],"have":[3],"been":[4],"proposed":[5],"as":[6,39,150],"an":[7,59],"extension":[8],"to":[9,51,57,119],"Description":[10],"Logics":[11],"(DL),":[12],"the":[13,18,64,74,113],"knowledge":[14],"representation":[15],"paradigm":[16],"underlying":[17],"Web":[19],"Ontology":[20],"Language":[21],"(OWL).":[22],"They":[23],"provide":[24,161],"for":[25,63,101,169],"a":[26,85,155,162,166,177],"very":[27],"tight":[28],"integration":[29],"of":[30,44,109,115,165],"DL":[31],"and":[32,104,131,141,152],"rules.":[33],"can":[36,98,145],"be":[37,99],"understood":[38],"syntactic":[40],"sugar":[41],"on":[42,136],"top":[43],"OWL.":[45],"However,":[46],"this":[47,110],"naive":[48],"perspective":[49],"leads":[50],"inefficient":[52],"reasoning":[53,61,121],"procedures.":[54],"In":[55],"order":[56],"develop":[58],"efficient":[60],"procedure":[62],"language":[65,77],"${\\mathcal":[66,88,124,170],"{E}\\mathcal":[67,89,125,171],"{L}\\mathcal":[68,90,126],"{V}^{++}}$,":[69],"which":[70,173],"results":[71],"from":[72,87],"extending":[73],"OWL":[75,78],"profile":[76],"EL":[79],"with":[80],"nominal":[81],"schemas,":[82],"we":[83,159],"propose":[84],"transformation":[86,111],"{V}^{++}}$":[91,127],"ontologies":[92],"into":[93],"Datalog-like":[94],"rule":[95],"programs":[96],"that":[97,143],"used":[100],"satisfiability":[102],"checking":[103],"assertion":[105],"retrieval.":[106],"The":[107],"use":[108,114],"enables":[112],"powerful":[116],"Datalog":[117],"engines":[118],"solve":[120],"tasks":[122],"over":[123],"ontologies.":[128],"We":[129],"implement":[130],"then":[132],"evaluate":[133],"our":[134],"approach":[135],"several":[137],"real-world,":[138],"data-intensive":[139],"ontologies,":[140],"find":[142],"it":[144],"outperform":[146],"state-of-the-art":[147],"reasoners":[148],"such":[149],"Konclude":[151],"ELK.":[153],"As":[154],"lesser":[156],"side":[157],"result":[158],"also":[160],"self-contained":[163],"description":[164],"rule-based":[167],"algorithm":[168],"{L}^{++}}$,":[172],"does":[174],"not":[175],"require":[176],"normal":[178],"form":[179],"transformation.":[180]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}