{"id":"https://openalex.org/W2000998961","doi":"https://doi.org/10.1007/s10817-013-9291-8","title":"Formally Verified Tableau-Based Reasoners for a Description Logic","display_name":"Formally Verified Tableau-Based Reasoners for a Description Logic","publication_year":2013,"publication_date":"2013-07-06","ids":{"openalex":"https://openalex.org/W2000998961","doi":"https://doi.org/10.1007/s10817-013-9291-8","mag":"2000998961"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-013-9291-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-013-9291-8","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/A5090802068","display_name":"Mar\u00eda-Jos\u00e9 Hidalgo","orcid":"https://orcid.org/0000-0002-3067-9363"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. J. Hidalgo-Doblado","raw_affiliation_strings":["Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030511026","display_name":"Jos\u00e9 A. Alonso-Jim\u00e9nez","orcid":"https://orcid.org/0000-0002-8101-1830"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J. A. Alonso-Jim\u00e9nez","raw_affiliation_strings":["Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009769445","display_name":"Joaqu\u00edn Borrego\u2010D\u00edaz","orcid":"https://orcid.org/0000-0003-0528-9459"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J. Borrego-D\u00edaz","raw_affiliation_strings":["Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081352175","display_name":"Francisco J. Mart\u00edn-Mateos","orcid":"https://orcid.org/0000-0002-9795-1683"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"F. J. Mart\u00edn-Mateos","raw_affiliation_strings":["Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063746909","display_name":"Jos\u00e9\u2013Luis Ruiz\u2013Reina","orcid":"https://orcid.org/0000-0003-1021-3256"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J. L. Ruiz-Reina","raw_affiliation_strings":["Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, E.T.S. Ingenier\u00eda Inform\u00e1tica, Avda. Reina Mercedes s.n., 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computational Logic Group, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain 41012#TAB#","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090802068"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.555,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79166351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"52","issue":"3","first_page":"331","last_page":"360"},"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.9994000196456909,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7321407794952393},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6669695377349854},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6658520698547363},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6587466597557068},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5852993130683899},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5579993724822998},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.474267840385437},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3886948525905609},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17522266507148743}],"concepts":[{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.7321407794952393},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6669695377349854},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6658520698547363},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6587466597557068},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5852993130683899},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5579993724822998},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.474267840385437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3886948525905609},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17522266507148743}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10817-013-9291-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-013-9291-8","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:dnet:idus________::d0333a0db125b5a773b07ef9bd0822fd","is_oa":false,"landing_page_url":"https://idus.us.es/handle//11441/74927","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","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":34,"referenced_works":["https://openalex.org/W10008895","https://openalex.org/W26772505","https://openalex.org/W121805954","https://openalex.org/W1482585805","https://openalex.org/W1514356467","https://openalex.org/W1517446920","https://openalex.org/W1531493160","https://openalex.org/W1534850143","https://openalex.org/W1550921032","https://openalex.org/W1555563750","https://openalex.org/W1556295630","https://openalex.org/W1568582187","https://openalex.org/W1579754676","https://openalex.org/W1590828018","https://openalex.org/W1591830785","https://openalex.org/W1602067282","https://openalex.org/W1640599491","https://openalex.org/W1670748022","https://openalex.org/W1929438219","https://openalex.org/W1969682671","https://openalex.org/W1970495662","https://openalex.org/W2014030742","https://openalex.org/W2018872397","https://openalex.org/W2021196646","https://openalex.org/W2072602592","https://openalex.org/W2080046595","https://openalex.org/W2102873570","https://openalex.org/W2120926795","https://openalex.org/W2123376286","https://openalex.org/W2159463330","https://openalex.org/W2615375216","https://openalex.org/W2725334573","https://openalex.org/W4285719527","https://openalex.org/W6912992434"],"related_works":["https://openalex.org/W1967499492","https://openalex.org/W2999589555","https://openalex.org/W2475423329","https://openalex.org/W2026046761","https://openalex.org/W3162240892","https://openalex.org/W1506417076","https://openalex.org/W1500278962","https://openalex.org/W2584678633","https://openalex.org/W352166","https://openalex.org/W138168018"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}