Publication Information

{'id': 'https://openalex.org/W82383519', 'doi': None, 'title': 'Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.', 'display_name': 'Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.', 'publication_year': 2008, 'publication_date': '2008-01-01', 'ids': {'openalex': 'https://openalex.org/W82383519', 'mag': '82383519'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://dblp.uni-trier.de/db/conf/dlog/dlog2008.html#KeS08', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S2764557503', 'display_name': 'Description Logics', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5025233631', 'display_name': 'Peihong Ke', 'orcid': None}, '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': 'Peihong Ke', 'raw_affiliation_strings': ['University of Manchester\xa0'], 'affiliations': [{'raw_affiliation_string': 'University of Manchester\xa0', 'institution_ids': ['https://openalex.org/I28407311']}]}, {'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': 'Ulrike Sattler', 'raw_affiliation_strings': ['University of Manchester\xa0'], 'affiliations': [{'raw_affiliation_string': 'University of Manchester\xa0', 'institution_ids': ['https://openalex.org/I28407311']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 1.991, 'has_fulltext': False, 'cited_by_count': 36, 'citation_normalized_percentile': {'value': 0.903206, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 92, 'max': 93}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10215', 'display_name': 'Semantic Web and Ontology Development', 'score': 0.9999, '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 Ontology Development', 'score': 0.9999, '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 Programming and Knowledge Representation', 'score': 0.9995, '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/T10456', 'display_name': 'Methods and Techniques for Agent-Based Modeling', 'score': 0.9933, '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/circumscription', 'display_name': 'Circumscription', 'score': 0.7099106}, {'id': 'https://openalex.org/keywords/non-monotonic-logic', 'display_name': 'Non-monotonic logic', 'score': 0.70389026}, {'id': 'https://openalex.org/keywords/defeasible-estate', 'display_name': 'Defeasible estate', 'score': 0.6409228}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.602848}, {'id': 'https://openalex.org/keywords/nonmonotonic-reasoning', 'display_name': 'Nonmonotonic Reasoning', 'score': 0.540319}, {'id': 'https://openalex.org/keywords/argumentation-frameworks', 'display_name': 'Argumentation Frameworks', 'score': 0.53461}, {'id': 'https://openalex.org/keywords/dialectical-argumentation', 'display_name': 'Dialectical Argumentation', 'score': 0.531496}, {'id': 'https://openalex.org/keywords/semantic-web', 'display_name': 'Semantic Web', 'score': 0.529969}, {'id': 'https://openalex.org/keywords/negation', 'display_name': 'Negation', 'score': 0.47314537}, {'id': 'https://openalex.org/keywords/negation-as-failure', 'display_name': 'Negation as failure', 'score': 0.45905364}, {'id': 'https://openalex.org/keywords/defeasible-reasoning', 'display_name': 'Defeasible reasoning', 'score': 0.44524097}, {'id': 'https://openalex.org/keywords/default-logic', 'display_name': 'Default logic', 'score': 0.43974406}], 'concepts': [{'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.73038805}, {'id': 'https://openalex.org/C62360110', 'wikidata': 'https://www.wikidata.org/wiki/Q96777007', 'display_name': 'Circumscription', 'level': 2, 'score': 0.7099106}, {'id': 'https://openalex.org/C159032336', 'wikidata': 'https://www.wikidata.org/wiki/Q2488768', 'display_name': 'Non-monotonic logic', 'level': 2, 'score': 0.70389026}, {'id': 'https://openalex.org/C171018156', 'wikidata': 'https://www.wikidata.org/wiki/Q7370306', 'display_name': 'Rotation formalisms in three dimensions', 'level': 2, 'score': 0.66592944}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.661111}, {'id': 'https://openalex.org/C193856179', 'wikidata': 'https://www.wikidata.org/wiki/Q5251100', 'display_name': 'Defeasible estate', 'level': 2, 'score': 0.6409228}, {'id': 'https://openalex.org/C3845977', 'wikidata': 'https://www.wikidata.org/wiki/Q4826262', 'display_name': 'Autoepistemic logic', 'level': 4, 'score': 0.49518624}, {'id': 'https://openalex.org/C4554734', 'wikidata': 'https://www.wikidata.org/wiki/Q593744', 'display_name': 'Knowledge base', 'level': 2, 'score': 0.48840135}, {'id': 'https://openalex.org/C2185349', 'wikidata': 'https://www.wikidata.org/wiki/Q190558', 'display_name': 'Negation', 'level': 2, 'score': 0.47314537}, {'id': 'https://openalex.org/C194146651', 'wikidata': 'https://www.wikidata.org/wiki/Q2119400', 'display_name': 'Negation as failure', 'level': 5, 'score': 0.45905364}, {'id': 'https://openalex.org/C2777796570', 'wikidata': 'https://www.wikidata.org/wiki/Q2351326', 'display_name': 'Dynamic logic (digital electronics)', 'level': 4, 'score': 0.44790882}, {'id': 'https://openalex.org/C140843580', 'wikidata': 'https://www.wikidata.org/wiki/Q840067', 'display_name': 'Defeasible reasoning', 'level': 2, 'score': 0.44524097}, {'id': 'https://openalex.org/C160236029', 'wikidata': 'https://www.wikidata.org/wiki/Q842421', 'display_name': 'Default logic', 'level': 5, 'score': 0.43974406}, {'id': 'https://openalex.org/C177264268', 'wikidata': 'https://www.wikidata.org/wiki/Q1514741', 'display_name': 'Set (abstract data type)', 'level': 2, 'score': 0.42792615}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.39759552}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.35258657}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.2710325}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.22256827}, {'id': 'https://openalex.org/C203659156', 'wikidata': 'https://www.wikidata.org/wiki/Q6934805', 'display_name': 'Multimodal logic', 'level': 3, 'score': 0.11081797}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C172385210', 'wikidata': 'https://www.wikidata.org/wiki/Q5339', 'display_name': 'Transistor', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C165801399', 'wikidata': 'https://www.wikidata.org/wiki/Q25428', 'display_name': 'Voltage', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C62520636', 'wikidata': 'https://www.wikidata.org/wiki/Q944', 'display_name': 'Quantum mechanics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://dblp.uni-trier.de/db/conf/dlog/dlog2008.html#KeS08', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S2764557503', 'display_name': 'Description Logics', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/16', 'score': 0.64, 'display_name': 'Peace, justice, and strong institutions'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 13, 'referenced_works': ['https://openalex.org/W134813623', 'https://openalex.org/W1507162541', 'https://openalex.org/W1507756784', 'https://openalex.org/W1596758290', 'https://openalex.org/W1966552757', 'https://openalex.org/W2034442203', 'https://openalex.org/W2036241121', 'https://openalex.org/W2059360847', 'https://openalex.org/W2109179237', 'https://openalex.org/W2145465694', 'https://openalex.org/W2155322595', 'https://openalex.org/W23685451', 'https://openalex.org/W2999843026'], 'related_works': ['https://openalex.org/W342819117', 'https://openalex.org/W3105235590', 'https://openalex.org/W229642387', 'https://openalex.org/W2295766998', 'https://openalex.org/W2288650278', 'https://openalex.org/W2175390224', 'https://openalex.org/W2167907160', 'https://openalex.org/W2161178987', 'https://openalex.org/W2147860979', 'https://openalex.org/W2089627725', 'https://openalex.org/W2080142817', 'https://openalex.org/W2059360847', 'https://openalex.org/W2051626205', 'https://openalex.org/W2045427198', 'https://openalex.org/W1947471199', 'https://openalex.org/W1571433157', 'https://openalex.org/W1555563750', 'https://openalex.org/W1509410808', 'https://openalex.org/W120102401', 'https://openalex.org/W105321669'], 'abstract_inverted_index': {'The': [0, 170, 193, 257], 'more': [1, 20], 'DLs': [2, 41, 104, 117, 133, 150, 173, 196, 211, 246, 260], 'are': [3, 24, 242, 291], 'being': [4], 'used': [5], 'in': [6, 56, 129, 181, 191, 210, 275, 294, 305, 341, 345, 369], 'applications': [7], 'such': [8, 62, 99], 'as': [9, 63, 123], 'the': [10, 16, 19, 36, 73, 78, 83, 96, 114, 295, 326, 329, 364, 367], 'Semantic': [11], 'Web': [12], '[2],': [13], 'biology,': [14], 'and': [15, 42, 86, 121, 138, 166, 184, 203, 240, 307, 354], 'clinical': [17, 84], 'sciences,': [18, 85], 'certain': [21, 350], 'expressive': [22, 276], 'weaknesses': [23], 'commented': [25], 'upon.': [26], 'A': [27, 322], 'recurring': [28], 'set': [29, 220], 'of': [30, 49, 66, 77, 98, 103, 116, 149, 172, 195, 221, 232, 259, 284, 313, 318, 328, 352, 366], 'these': [31, 161, 289], 'comments': [32], 'is': [33, 69, 127, 139, 216, 255, 268, 316], 'due': [34], 'to': [35, 93, 141, 223, 271], 'fact': [37], 'that': [38], 'only': [39], 'few': [40], 'even': [43], 'fewer': [44], 'DL': [45, 331], 'reasoners': [46], 'support': [47], 'forms': [48], 'defeasible': [50], 'reasoning.': [51], 'For': [52, 358], 'example,': [53, 359], 'Rector': [54], 'describes': [55], '[12,': [57], '16]': [58], 'how': [59], 'useful': [60], 'statements': [61], '“the': [64], 'heart': [65, 368], 'a': [67, 143, 201, 219], 'human': [68], 'normally': [70], 'located': [71], 'on': [72], 'left': [74], 'hand': [75], 'side': [76], 'body”': [79], 'could': [80], 'be': [81, 142, 156, 224, 372], 'for': [82, 146, 207, 244, 325], 'OWL': [87], 'design': [88], 'patterns': [89], 'have': [90, 108], 'been': [91, 109, 339], 'developed': [92], 'work': [94], 'around': [95], 'lack': [97], 'statements.': [100], 'Various': [101], 'combinations': [102], 'with': [105, 118, 134, 174, 197, 218, 247, 261, 334], 'nonmonotonic': [106, 147, 153, 208], 'formalisms': [107], 'investigated': [110], 'so': [111], 'far.': [112], 'DL-MKNF,': [113], 'combination': [115, 171, 194, 327], 'minimal': [119], 'knowledge': [120, 237], 'negation': [122], 'failure': [124], '(MKNF)': [125], '[9]': [126], 'introduced': [128, 178], '[4].': [130, 192, 342], 'DL-MKNF': [131, 188, 300], 'extends': [132], 'two': [135], 'modal': [136, 302], 'operators': [137, 303], 'considered': [140], 'unified': [144], 'framework': [145], 'extensions': [148], 'since': [151, 212, 278], 'various': [152, 245], 'logics': [154], 'can': [155, 228, 281, 348, 371], 'embedded': [157], 'into': [158, 187], 'MKNF': [159, 266, 335], '[9];': [160], 'include': [162], 'default': [163, 175, 362], 'logic': [164, 168, 176, 262], '[13]': [165], 'autoepistemic': [167], '[10].': [169], 'was': [177, 189], '[1],': [179], 'implemented': [180], 'Pellet': [182], '[7],': [183], 'its': [185, 213], 'translation': [186], 'explained': [190], 'circumscription': [198, 248], '[3]': [199], 'provides': [200], 'powerful': [202], 'flexible': [204], 'alternative': [205], 'way': [206], 'reasoning': [209], 'entailment': [214], 'relation': [215], 'parametrized': [217], 'concepts': [222], 'circumscribed.': [225], 'Hence': [226], 'we': [227], 'pick': [229], 'different': [230], 'modes': [231], 'defeasibility': [233], 'without': [234], 'changing': [235], 'our': [236, 319, 360], 'base.': [238], 'Decidablity': [239], 'complexity': [241], 'known': [243], '[3],': [249], 'but': [250], 'no': [251], 'calculus': [252], 'or': [253], 'implementation': [254], 'known.': [256], 'integration': [258], 'programming': [263], '(LP)': [264], 'using': [265], '[11]': [267], 'closely': [269], 'related': [270], 'DL-MKNF.': [272], 'They': [273], 'differ': [274], 'power': [277], 'LP': [279], 'rules': [280], 'make': [282], 'use': [283], 'arbitrarily': [285], 'connected': [286], 'variables,': [287], 'yet': [288], 'variables': [290], 'all': [292], 'quantified': [293], 'same': [296], 'way.': [297], 'In': [298], 'contrast,': [299], 'allows': [301], 'appearing': [304], 'existential': [306], 'universal': [308], 'restrictions.': [309], 'An': [310], 'exact': [311], 'comparison': [312], 'this': [314], 'relationship': [315], 'part': [317], 'future': [320], 'work.': [321], 'tableau': [323], 'algorithm': [324], 'basic': [330], 'ALC': [332], '[15]': [333], '(ALCKNF': [336], ')': [337], 'has': [338], 'described': [340], 'As': [343], 'mentioned': [344], '[4],': [346], 'ALCKNF': [347], 'capture': [349], 'kinds': [351], 'defaults': [353], 'integrity': [355], 'constraints': [356], '(ICs).': [357], 'example': [361], 'regarding': [363], 'location': [365], 'humans': [370], 'formalised': [373]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W82383519', 'counts_by_year': [{'year': 2019, 'cited_by_count': 2}, {'year': 2018, 'cited_by_count': 3}, {'year': 2016, 'cited_by_count': 7}, {'year': 2015, 'cited_by_count': 4}, {'year': 2014, 'cited_by_count': 4}, {'year': 2013, 'cited_by_count': 5}, {'year': 2012, 'cited_by_count': 2}], 'updated_date': '2024-09-25T09:29:16.079894', 'created_date': '2016-06-24'}