{"id":"https://openalex.org/W2069887068","doi":"https://doi.org/10.1007/s10817-010-9168-z","title":"ABox Abduction in the Description Logic $\\boldsymbol{\\mathcal{ALC}}$","display_name":"ABox Abduction in the Description Logic $\\boldsymbol{\\mathcal{ALC}}$","publication_year":2010,"publication_date":"2010-02-22","ids":{"openalex":"https://openalex.org/W2069887068","doi":"https://doi.org/10.1007/s10817-010-9168-z","mag":"2069887068"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-010-9168-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-010-9168-z","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","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/A5075806684","display_name":"Szymon Klarman","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Szymon Klarman","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","Department of Computer Science, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058049693","display_name":"Ulle Endriss","orcid":"https://orcid.org/0000-0003-3709-4701"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Ulle Endriss","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands","Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands 1098 XH#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands 1098 XH#TAB#","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075365612","display_name":"Stefan Schlobach","orcid":"https://orcid.org/0000-0002-3282-1597"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Stefan Schlobach","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","Department of Computer Science, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV#TAB#","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058049693","https://openalex.org/A5075365612","https://openalex.org/A5075806684"],"corresponding_institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":9.3729,"has_fulltext":false,"cited_by_count":56,"citation_normalized_percentile":{"value":0.97690093,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"46","issue":"1","first_page":"43","last_page":"80"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"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/description-logic","display_name":"Description logic","score":0.8325875997543335},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6334800124168396},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.6076117753982544},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.594641387462616},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5855634212493896},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5786063075065613},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.5747330188751221},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5599836111068726},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5443453788757324},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.5171929597854614},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4995877742767334},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.48384299874305725},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.477073073387146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4533767104148865},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.42696452140808105},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.4266946017742157},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4216729998588562},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.42166274785995483},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35685300827026367},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29706016182899475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27778303623199463},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1559801995754242}],"concepts":[{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.8325875997543335},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6334800124168396},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.6076117753982544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.594641387462616},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5855634212493896},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5786063075065613},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.5747330188751221},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5599836111068726},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5443453788757324},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.5171929597854614},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4995877742767334},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.48384299874305725},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.477073073387146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4533767104148865},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.42696452140808105},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4266946017742157},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4216729998588562},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.42166274785995483},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35685300827026367},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29706016182899475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27778303623199463},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1559801995754242},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10817-010-9168-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-010-9168-z","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/9376dc9a-de9c-4170-9b2d-8d861854301d","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/abox-abduction-in-the-description-logic-alc(9376dc9a-de9c-4170-9b2d-8d861854301d).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Klarman, S, Endriss, U & Schlobach, S 2011, 'ABox Abduction in the Description Logic ALC', Journal of Automated Reasoning, vol. 46, no. 1, pp. 43-80. https://doi.org/10.1007/s10817-010-9168-z","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:dare.uva.nl:publications/9376dc9a-de9c-4170-9b2d-8d861854301d","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/abox-abduction-in-the-description-logic-alc(9376dc9a-de9c-4170-9b2d-8d861854301d).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Klarman, S, Endriss, U & Schlobach, S 2011, 'ABox Abduction in the Description Logic ALC', Journal of Automated Reasoning, vol. 46, no. 1, pp. 43-80. https://doi.org/10.1007/s10817-010-9168-z","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/f557113a-d6ec-4bc9-9412-963bab9f630d","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/f557113a-d6ec-4bc9-9412-963bab9f630d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Klarman, S, Endriss, U & Schlobach, K S 2010, 'ABox Abduction in the Description Logic ALC', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-010-9168-z","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:vu:oai:research.vu.nl:publications/f557113a-d6ec-4bc9-9412-963bab9f630d","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/f557113a-d6ec-4bc9-9412-963bab9f630d","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":"Journal of Automated Reasoning. Springer Netherlands","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W5482556","https://openalex.org/W10929107","https://openalex.org/W26772505","https://openalex.org/W59439889","https://openalex.org/W61090976","https://openalex.org/W80737574","https://openalex.org/W127064451","https://openalex.org/W340492912","https://openalex.org/W611311555","https://openalex.org/W1487569371","https://openalex.org/W1489624549","https://openalex.org/W1505052967","https://openalex.org/W1511652686","https://openalex.org/W1513576223","https://openalex.org/W1514729613","https://openalex.org/W1523017397","https://openalex.org/W1528260059","https://openalex.org/W1553192229","https://openalex.org/W1555563750","https://openalex.org/W1578007245","https://openalex.org/W1583007009","https://openalex.org/W1670748022","https://openalex.org/W1678959094","https://openalex.org/W1759871617","https://openalex.org/W1762401663","https://openalex.org/W1809072088","https://openalex.org/W1910245860","https://openalex.org/W1973279396","https://openalex.org/W1987005090","https://openalex.org/W1990890881","https://openalex.org/W1991421635","https://openalex.org/W2010939537","https://openalex.org/W2018221833","https://openalex.org/W2034686855","https://openalex.org/W2036162877","https://openalex.org/W2070794501","https://openalex.org/W2081966954","https://openalex.org/W2136345349","https://openalex.org/W2165433828","https://openalex.org/W2232005191","https://openalex.org/W2332863838","https://openalex.org/W2400573381","https://openalex.org/W2478547901","https://openalex.org/W2549755130","https://openalex.org/W2615375216","https://openalex.org/W6912992434"],"related_works":["https://openalex.org/W1540734423","https://openalex.org/W1945364905","https://openalex.org/W82332555","https://openalex.org/W2182693335","https://openalex.org/W1974525301","https://openalex.org/W2567893123","https://openalex.org/W1526001900","https://openalex.org/W2175438028","https://openalex.org/W1488110666","https://openalex.org/W2319216046"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":6}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}