{"id":"https://openalex.org/W1528561239","doi":"https://doi.org/10.3233/978-1-61499-421-3-191","title":"Practical Defeasible Reasoning for Description Logics","display_name":"Practical Defeasible Reasoning for Description Logics","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1528561239","doi":"https://doi.org/10.3233/978-1-61499-421-3-191","mag":"1528561239"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-421-3-191","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-421-3-191","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","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":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-61499-421-3-191","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/I95023434","display_name":"University of KwaZulu-Natal","ror":"https://ror.org/04qzfn040","country_code":"ZA","type":"education","lineage":["https://openalex.org/I95023434"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Moodley Kody","raw_affiliation_strings":["University of KwaZulu-Natal","CSIR Meraka Institute"],"affiliations":[{"raw_affiliation_string":"University of KwaZulu-Natal","institution_ids":["https://openalex.org/I95023434"]},{"raw_affiliation_string":"CSIR Meraka Institute","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/I95023434","display_name":"University of KwaZulu-Natal","ror":"https://ror.org/04qzfn040","country_code":"ZA","type":"education","lineage":["https://openalex.org/I95023434"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Meyer Thomas","raw_affiliation_strings":["University of KwaZulu-Natal, Durban, South Africa"],"affiliations":[{"raw_affiliation_string":"University of KwaZulu-Natal, Durban, South Africa","institution_ids":["https://openalex.org/I95023434"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072391425","display_name":"Ulrike Sattler","orcid":"https://orcid.org/0000-0003-4103-3389"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sattler Uli","raw_affiliation_strings":["University of Manchester, Manchester, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089505164"],"corresponding_institution_ids":["https://openalex.org/I95023434"],"apc_list":null,"apc_paid":null,"fwci":0.6925,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.71160163,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"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.9997000098228455,"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.9997000098228455,"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.9997000098228455,"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.9879000186920166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.8869799375534058},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.6413885951042175},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5213136076927185},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.4604192078113556},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3904218375682831},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36903882026672363},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.24310314655303955},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.23808005452156067}],"concepts":[{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.8869799375534058},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.6413885951042175},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5213136076927185},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.4604192078113556},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3904218375682831},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36903882026672363},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.24310314655303955},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.23808005452156067}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/978-1-61499-421-3-191","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-421-3-191","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/0ae2f86b-ebc2-4177-be08-b4cd1b714daf","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/0ae2f86b-ebc2-4177-be08-b4cd1b714daf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Moodley, K, Meyer, T & Sattler, U 2014, Practical Defeasible Reasoning for Description Logics. in {STAIRS} 2014 - Proceedings of the 7th European Starting {AI} Researcher Symposium, Prague, Czech Republic, August 18-22, 2014. vol. 264, Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 191-200. https://doi.org/10.3233/978-1-61499-421-3-191","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:um:oai:cris.maastrichtuniversity.nl:publications/da9a91d1-a468-4875-a104-af3d4b710b07","is_oa":false,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/da9a91d1-a468-4875-a104-af3d4b710b07","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":"European Starting AI Researcher Symposium, 264, 191 - 200","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.3233/978-1-61499-421-3-191","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-421-3-191","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W3761804","https://openalex.org/W92205045","https://openalex.org/W188879371","https://openalex.org/W202573427","https://openalex.org/W1508746274","https://openalex.org/W1542417898","https://openalex.org/W1555563750","https://openalex.org/W1566835294","https://openalex.org/W1571433157","https://openalex.org/W1579458556","https://openalex.org/W1601038846","https://openalex.org/W1678959094","https://openalex.org/W1746526611","https://openalex.org/W1836691125","https://openalex.org/W1947471199","https://openalex.org/W1973899684","https://openalex.org/W1989009626","https://openalex.org/W1991508422","https://openalex.org/W2041200987","https://openalex.org/W2051626205","https://openalex.org/W2055641305","https://openalex.org/W2056905897","https://openalex.org/W2080142817","https://openalex.org/W2087779040","https://openalex.org/W2089822569","https://openalex.org/W2100982478","https://openalex.org/W2123152121","https://openalex.org/W2136512627","https://openalex.org/W2140061645","https://openalex.org/W2160146772","https://openalex.org/W2161178987","https://openalex.org/W2164742395","https://openalex.org/W2167907160","https://openalex.org/W2186836415","https://openalex.org/W2288650278","https://openalex.org/W2396168931","https://openalex.org/W3037073803","https://openalex.org/W3105235590","https://openalex.org/W3127054829"],"related_works":["https://openalex.org/W2969415202","https://openalex.org/W2810795263","https://openalex.org/W2540254214","https://openalex.org/W2380969826","https://openalex.org/W2098238158","https://openalex.org/W2481680351","https://openalex.org/W151947385","https://openalex.org/W2077212436","https://openalex.org/W4243507758","https://openalex.org/W2964084085"],"abstract_inverted_index":{"The":[0,101],"preferential":[1,92,110,127],"approach":[2,111],"to":[3,30,34,61,95,107,120,131,153],"nonmonotonic":[4,117],"reasoning":[5,93,118,158],"was":[6],"consolidated":[7],"in":[8,19,74,112,148,170],"depth":[9],"by":[10],"Krause,":[11],"Lehmann":[12],"and":[13,38,67,151],"Magidor":[14],"(KLM)":[15],"for":[16,72,81,98,146,160,168],"propositional":[17,59],"logic":[18],"the":[20,55,58,109,115,126,132,140,143],"early":[21],"90's.":[22],"In":[23,85],"recent":[24],"years,":[25],"there":[26,68,87],"have":[27],"been":[28,47],"efforts":[29],"extend":[31],"their":[32],"framework":[33,60,128],"Description":[35],"Logics":[36],"(DLs)":[37],"a":[39,122,136],"solid":[40],"(though":[41],"preliminary)":[42],"theoretical":[43],"foundation":[44],"has":[45],"already":[46],"established":[48],"towards":[49],"this":[50,53,75,104,149],"aim.":[51],"Despite":[52],"foundation,":[54],"generalisation":[56,124],"of":[57,97,103,125,129,139],"DLs":[62],"is":[63,166],"not":[64],"yet":[65],"complete":[66,123],"are":[69,88],"multiple":[70,144],"proposals":[71,145],"entailment":[73,147],"context":[76,113],"with":[77,163],"no":[78,90],"formal":[79,137],"system":[80,159],"deciding":[82],"between":[83,142],"these.":[84],"addition,":[86],"virtually":[89],"existing":[91,171],"implementations":[94],"speak":[96],"DL-based":[99,161],"ontologies.":[100],"goals":[102],"PhD":[105],"are:":[106],"place":[108],"w.r.t.":[114],"alternative":[116],"proposals,":[119],"provide":[121,135],"KLM":[130],"DL":[133],"ALC,":[134],"understanding":[138],"relationships":[141],"context,":[150],"finally,":[152],"develop":[154],"an":[155],"accompanying":[156],"defeasible":[157],"ontologies":[162],"performance":[164],"that":[165],"suitable":[167],"use":[169],"ontology":[172],"development":[173],"settings.":[174]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}