{"id":"https://openalex.org/W2573984310","doi":"https://doi.org/10.29007/prhh","title":"Foundations for the Logical Difference of EL-TBoxes","display_name":"Foundations for the Logical Difference of EL-TBoxes","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2573984310","doi":"https://doi.org/10.29007/prhh","mag":"2573984310"},"language":"en","primary_location":{"id":"doi:10.29007/prhh","is_oa":true,"landing_page_url":"https://doi.org/10.29007/prhh","pdf_url":"https://easychair.org/publications/open/34F2","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/34F2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103676712","display_name":"Shasha Feng","orcid":null},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210136497","display_name":"Jilin Medical University","ror":"https://ror.org/03mzw7781","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136497"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shasha Feng","raw_affiliation_strings":["Jilin University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jilin University, China","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4210136497"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044188329","display_name":"Michel Ludwig","orcid":"https://orcid.org/0000-0002-1899-5777"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michel Ludwig","raw_affiliation_strings":["Theoretical Computer Science TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101629929","display_name":"Dirk Walther","orcid":"https://orcid.org/0000-0002-5509-8899"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dirk Walther","raw_affiliation_strings":["Theoretical Computer Science TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6353,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.5715598,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"36","issue":null,"first_page":"93","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9952999949455261,"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/hypergraph","display_name":"Hypergraph","score":0.7076693177223206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6689246296882629},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.660601019859314},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5623898506164551},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.46353769302368164},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4424278140068054},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4417099356651306},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43680480122566223},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.41281864047050476},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23542356491088867},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2253931164741516},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17591947317123413}],"concepts":[{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.7076693177223206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6689246296882629},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.660601019859314},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5623898506164551},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.46353769302368164},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4424278140068054},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4417099356651306},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43680480122566223},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.41281864047050476},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23542356491088867},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2253931164741516},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17591947317123413},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/prhh","is_oa":true,"landing_page_url":"https://doi.org/10.29007/prhh","pdf_url":"https://easychair.org/publications/open/34F2","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/prhh","is_oa":true,"landing_page_url":"https://doi.org/10.29007/prhh","pdf_url":"https://easychair.org/publications/open/34F2","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2573984310.pdf","grobid_xml":"https://content.openalex.org/works/W2573984310.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W271442919","https://openalex.org/W1509731421","https://openalex.org/W1567108904","https://openalex.org/W1584137897","https://openalex.org/W2396176800","https://openalex.org/W2405826403","https://openalex.org/W2608239929","https://openalex.org/W3104143976","https://openalex.org/W3146347964","https://openalex.org/W3202461034","https://openalex.org/W6640837398","https://openalex.org/W6912992434"],"related_works":["https://openalex.org/W1576014289","https://openalex.org/W1501276147","https://openalex.org/W2115969784","https://openalex.org/W2047847147","https://openalex.org/W2139894293","https://openalex.org/W2625791717","https://openalex.org/W1592687935","https://openalex.org/W4385764417","https://openalex.org/W134144667","https://openalex.org/W4283820035"],"abstract_inverted_index":{"We":[0,32,76],"investigate":[1],"the":[2,13,35,51,73,78,90,94,118,123,127,131],"logical":[3,10,36],"difference":[4,11,37],"problem":[5],"between":[6,38,122],"general":[7],"EL-TBoxes.":[8,48],"The":[9,110],"is":[12],"set":[14],"of":[15,50,59,89,96,103,120,126],"concept":[16],"subsumptions":[17,58],"that":[18],"are":[19,113],"logically":[20],"entailed":[21],"by":[22,28,57,63],"a":[23,29,81,86,104],"first":[24,52],"TBox":[25,53],"but":[26],"not":[27],"second":[30,74],"one.":[31],"show":[33],"how":[34],"two":[39],"EL-TBoxes":[40],"can":[41,54,68],"be":[42,55,70],"reduced":[43],"to":[44,106],"fixpoint":[45,61,65,91,128],"reasoning":[46],"wrt.":[47,72],"Entailments":[49],"represented":[56],"least":[60],"concepts":[62,92,129],"greatest":[64],"concepts,":[66],"which":[67],"then":[69],"checked":[71],"TBox.":[75],"present":[77],"foundations":[79],"for":[80,117],"dedicated":[82],"procedure":[83],"based":[84,114],"on":[85,115],"hypergraph":[87,124],"representation":[88],"without":[93],"use":[95],"automata-theoretic":[97],"techniques,":[98],"avoiding":[99],"possible":[100],"complexity":[101],"issues":[102],"reduction":[105],"modal":[107],"mu-calculus":[108],"reasoning.":[109],"subsumption":[111],"checks":[112],"checking":[116],"existence":[119],"simulations":[121],"representations":[125],"and":[130],"TBoxes.":[132]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}