{"id":"https://openalex.org/W2166796738","doi":"https://doi.org/10.1145/2389836.2389845","title":"A defeasible reasoning approach for description logic ontologies","display_name":"A defeasible reasoning approach for description logic ontologies","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2166796738","doi":"https://doi.org/10.1145/2389836.2389845","mag":"2166796738"},"language":"en","primary_location":{"id":"doi:10.1145/2389836.2389845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2389836.2389845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference","raw_type":"proceedings-article"},"type":"preprint","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/A5089505164","display_name":"Kody Moodley","orcid":"https://orcid.org/0000-0001-5666-1658"},"institutions":[{"id":"https://openalex.org/I4210121405","display_name":"Centre for Artificial Intelligence and Robotics","ror":"https://ror.org/01xnbq218","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210121405","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Kody Moodley","raw_affiliation_strings":["Centre for Artificial, Intelligence Research","CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)"],"affiliations":[{"raw_affiliation_string":"Centre for Artificial, Intelligence Research","institution_ids":["https://openalex.org/I4210121405"]},{"raw_affiliation_string":"CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102011951","display_name":"Thomas Meyer","orcid":"https://orcid.org/0000-0003-2204-6969"},"institutions":[{"id":"https://openalex.org/I4210121405","display_name":"Centre for Artificial Intelligence and Robotics","ror":"https://ror.org/01xnbq218","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210121405","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Thomas Meyer","raw_affiliation_strings":["Centre for Artificial, Intelligence Research","CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)"],"affiliations":[{"raw_affiliation_string":"Centre for Artificial, Intelligence Research","institution_ids":["https://openalex.org/I4210121405"]},{"raw_affiliation_string":"CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034598656","display_name":"Ivan Varzinczak","orcid":"https://orcid.org/0000-0002-0025-9632"},"institutions":[{"id":"https://openalex.org/I4210121405","display_name":"Centre for Artificial Intelligence and Robotics","ror":"https://ror.org/01xnbq218","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210121405","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ivan Jos\u00e9 Varzinczak","raw_affiliation_strings":["Centre for Artificial, Intelligence Research","CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)"],"affiliations":[{"raw_affiliation_string":"Centre for Artificial, Intelligence Research","institution_ids":["https://openalex.org/I4210121405"]},{"raw_affiliation_string":"CAIR - Centre for Artificial Intelligence Research [Pretoria] (South Africa)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089505164"],"corresponding_institution_ids":["https://openalex.org/I4210121405"],"apc_list":null,"apc_paid":null,"fwci":0.884,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80937219,"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":"69","last_page":"78"},"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.9951000213623047,"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/defeasible-estate","display_name":"Defeasible estate","score":0.8956466913223267},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.8189136981964111},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.7809664011001587},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.7760483026504517},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6643059849739075},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.6382505893707275},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.6144195199012756},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5150415897369385},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.48264652490615845},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.4571608603000641},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.4522748589515686},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.43134254217147827},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3995611071586609},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39754778146743774},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3577539920806885},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3321576714515686},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10741192102432251}],"concepts":[{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.8956466913223267},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.8189136981964111},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.7809664011001587},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.7760483026504517},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6643059849739075},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.6382505893707275},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.6144195199012756},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5150415897369385},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.48264652490615845},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.4571608603000641},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.4522748589515686},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.43134254217147827},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3995611071586609},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39754778146743774},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3577539920806885},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3321576714515686},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10741192102432251},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2389836.2389845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2389836.2389845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.691.4443","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.691.4443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://en.varzinczak.net16.net/common/papers/MoodleyEtAl-DefeasibleReasoningApproachForDLOntologies-SAICSIT2012.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-03673818v1","is_oa":false,"landing_page_url":"https://univ-artois.hal.science/hal-03673818","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":"Annual Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT 2012), 2012, Centurion, South Africa. pp.69-78, ⟨10.1145/2389836.2389845⟩","raw_type":"Conference papers"},{"id":"pmh:um:oai:cris.maastrichtuniversity.nl:publications/84f57667-b00e-4722-ba42-08d4996a5e6e","is_oa":false,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/84f57667-b00e-4722-ba42-08d4996a5e6e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SAICSIT '12: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, 69 - 78","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W3761804","https://openalex.org/W26529986","https://openalex.org/W80737574","https://openalex.org/W105978187","https://openalex.org/W192221291","https://openalex.org/W373299240","https://openalex.org/W387168707","https://openalex.org/W1482585805","https://openalex.org/W1542417898","https://openalex.org/W1551684349","https://openalex.org/W1555563750","https://openalex.org/W1571433157","https://openalex.org/W1601038846","https://openalex.org/W1606656316","https://openalex.org/W1761910806","https://openalex.org/W1947471199","https://openalex.org/W1973899684","https://openalex.org/W2080142817","https://openalex.org/W2100982478","https://openalex.org/W2103017472","https://openalex.org/W2127140110","https://openalex.org/W2139315672","https://openalex.org/W2154829072","https://openalex.org/W2161178987","https://openalex.org/W2167907160","https://openalex.org/W2312872432","https://openalex.org/W4239696231","https://openalex.org/W4285719527","https://openalex.org/W4301358115","https://openalex.org/W4386984755"],"related_works":["https://openalex.org/W2118735566","https://openalex.org/W3082661735","https://openalex.org/W1528561239","https://openalex.org/W2936472323","https://openalex.org/W1523472488","https://openalex.org/W1519321178","https://openalex.org/W4248924863","https://openalex.org/W2380969826","https://openalex.org/W1536718957","https://openalex.org/W2018285773"],"abstract_inverted_index":{"Classical":[0],"reasoning":[1,54,75,90,128,168,171,209],"for":[2,53,80,126,151,187,205,210,229,238],"logic-based":[3,133],"KR":[4,134],"(Knowledge":[5],"Representation)":[6],"systems":[7,20,61],"is":[8,15,23,48,76,85,108,247,256],"in":[9,18,55,129,176,198,272],"general,":[10],"monotonic.":[11],"That":[12],"is,":[13],"there":[14,22],"an":[16,50,188],"assumption":[17],"these":[19,236,288],"that":[21,31,149,218,259],"complete":[24],"information":[25,39,271],"about":[26,95],"a":[27,96,199,227,248],"domain.":[28,97],"This":[29,47],"means":[30],"they":[32],"generally":[33],"cannot":[34],"deal":[35],"with":[36,43,71,87,91],"any":[37],"new":[38],"arising":[40],"which":[41,65,234],"contradicts":[42],"the":[44,102,109,116,130,152,159,177,230,242,266],"current":[45],"information.":[46,73],"not":[49],"appropriate":[51],"model":[52,79],"many":[56],"applications.":[57],"Therefore,":[58],"alternative":[59,117],"non-monotonic":[60,82],"have":[62],"been":[63],"investigated":[64],"can":[66,285],"reason":[67],"under":[68],"uncertainty":[69],"or":[70],"incomplete":[72],"Defeasible":[74],"one":[77,284],"particular":[78,145],"implementing":[81],"reasoning.":[83],"It":[84],"concerned":[86],"representing":[88],"and":[89,169,172,185,202,207,275],"defeasible":[92,99,110,127,155,221,270,282],"(non-strict)":[93],"facts":[94],"The":[98,162],"counterpart":[100],"of":[101,132,147,154,179,190,251,260],"strict":[103],"fact:":[104,111],"\"All":[105],"birds":[106,113],"fly\"":[107,114],"\"Most":[112],"(or":[115],"phrasing":[118],"\"Birds":[119],"usually":[120],"fly\").":[121],"We":[122],"discuss":[123],"two":[124],"approaches":[125,163],"family":[131],"languages":[135,252],"known":[136,165],"as":[137,166],"Description":[138],"Logics":[139],"(DLs).":[140],"They":[141],"are":[142,164,173],"applicable":[143],"to":[144,158,258,268,279],"extensions":[146],"DLs":[148],"allow":[150],"statement":[153],"sentences":[156],"similar":[157],"aforementioned":[160],"examples.":[161],"prototypical":[167,206],"presumptive":[170,208],"both":[174],"rooted":[175],"notion":[178],"Rational":[180],"Closure":[181],"developed":[182],"by":[183],"Lehmann":[184],"Magidor":[186],"extension":[189],"propositional":[191],"logic.":[192],"Here":[193],"we":[194,225],"recast":[195],"their":[196],"definitions":[197],"DL":[200,211,216],"context":[201],"define":[203],"algorithms":[204,237],"knowledge":[212],"bases":[213],"(also":[214],"called":[215],"ontologies)":[217],"may":[219],"contain":[220],"sentences.":[222],"In":[223],"particular,":[224],"present":[226],"plug-in":[228],"Prot\u00e9g\u00e9":[231],"ontology":[232],"editor":[233],"implements":[235],"OWL":[239,273],"ontologies":[240,274],"-":[241],"Web":[243],"Ontology":[244],"Language":[245],"(OWL)":[246],"formal":[249],"standard":[250],"whose":[253],"semantic":[254],"basis":[255],"identical":[257],"DLs.":[261],"Our":[262],"plug-in,":[263],"RaMP,":[264],"allows":[265],"modeller":[267],"indicate":[269],"perform":[276],"logical":[277],"inferencing":[278],"determine":[280],"what":[281],"conclusions":[283],"draw":[286],"from":[287],"ontologies.":[289]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}