{"id":"https://openalex.org/W2344607573","doi":"https://doi.org/10.1007/978-3-319-17996-4_29","title":"Designing a Tableau Reasoner for Description\u00a0Logics","display_name":"Designing a Tableau Reasoner for Description\u00a0Logics","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2344607573","doi":"https://doi.org/10.1007/978-3-319-17996-4_29","mag":"2344607573"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-17996-4_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17996-4_29","pdf_url":null,"source":{"id":"https://openalex.org/S2764905038","display_name":"Advances in intelligent systems and computing","issn_l":"2194-5357","issn":["2194-5357","2194-5365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Intelligent Systems and Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5055424683","display_name":"Linh Anh Nguyen","orcid":"https://orcid.org/0000-0002-8109-0567"},"institutions":[{"id":"https://openalex.org/I141445968","display_name":"Ton Duc Thang University","ror":"https://ror.org/01drq0835","country_code":"VN","type":"education","lineage":["https://openalex.org/I141445968"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL","VN"],"is_corresponding":true,"raw_author_name":"Linh Anh Nguyen","raw_affiliation_strings":["Division of Knowledge and System Engineering for ICT, Ton Duc Thang University, No.\u00a019, Nguyen Huu Tho Street, Tan Phong Ward, District 7, Ho Chi Minh City, Vietnam","Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Division of Knowledge and System Engineering for ICT, Ton Duc Thang University, No.\u00a019, Nguyen Huu Tho Street, Tan Phong Ward, District 7, Ho Chi Minh City, Vietnam","institution_ids":["https://openalex.org/I141445968"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5055424683"],"corresponding_institution_ids":["https://openalex.org/I141445968","https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.6828,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71607719,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"321","last_page":"333"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9991999864578247,"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.9991999864578247,"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.9987000226974487,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9909999966621399,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.9841299057006836},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7014381289482117},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5880944132804871},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.5357142686843872},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42853233218193054},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3066304326057434},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2304467260837555},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.06933510303497314}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.9841299057006836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7014381289482117},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5880944132804871},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.5357142686843872},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42853233218193054},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3066304326057434},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2304467260837555},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.06933510303497314},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-17996-4_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17996-4_29","pdf_url":null,"source":{"id":"https://openalex.org/S2764905038","display_name":"Advances in intelligent systems and computing","issn_l":"2194-5357","issn":["2194-5357","2194-5365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Intelligent Systems and Computing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W2515200","https://openalex.org/W62452097","https://openalex.org/W110128867","https://openalex.org/W937842695","https://openalex.org/W1493568378","https://openalex.org/W1499234184","https://openalex.org/W1499345791","https://openalex.org/W1542026696","https://openalex.org/W1554599886","https://openalex.org/W1555563750","https://openalex.org/W1577844214","https://openalex.org/W1580772169","https://openalex.org/W1585071008","https://openalex.org/W1605651526","https://openalex.org/W1624572887","https://openalex.org/W1637478387","https://openalex.org/W1678959094","https://openalex.org/W1889795185","https://openalex.org/W1964664152","https://openalex.org/W1971938965","https://openalex.org/W1978912716","https://openalex.org/W1993086076","https://openalex.org/W1997716585","https://openalex.org/W2047824808","https://openalex.org/W2055390576","https://openalex.org/W2077974960","https://openalex.org/W2118992936","https://openalex.org/W2122368812","https://openalex.org/W2145369884","https://openalex.org/W2161218164","https://openalex.org/W2170077473","https://openalex.org/W2170319925","https://openalex.org/W2180360104","https://openalex.org/W2337512840","https://openalex.org/W2406214433","https://openalex.org/W2584768186","https://openalex.org/W2951205490","https://openalex.org/W3146347964","https://openalex.org/W4285719527","https://openalex.org/W6606667432"],"related_works":["https://openalex.org/W3127511143","https://openalex.org/W2737855517","https://openalex.org/W2214104119","https://openalex.org/W2350354245","https://openalex.org/W4323715042","https://openalex.org/W2804740741","https://openalex.org/W2159682108","https://openalex.org/W2542061993","https://openalex.org/W4287066623","https://openalex.org/W3185535473"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}