{"id":"https://openalex.org/W2953691543","doi":"https://doi.org/10.29007/tgc4","title":"A Roadmap to Gradually Compare and Benchmark Description Logic Calculi","display_name":"A Roadmap to Gradually Compare and Benchmark Description Logic Calculi","publication_year":2019,"publication_date":"2019-06-05","ids":{"openalex":"https://openalex.org/W2953691543","doi":"https://doi.org/10.29007/tgc4","mag":"2953691543"},"language":"en","primary_location":{"id":"doi:10.29007/tgc4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tgc4","pdf_url":"https://easychair.org/publications/open/vv1m","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"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":"Kalpa Publications 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/vv1m","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103176344","display_name":"Fred Freitas","orcid":"https://orcid.org/0000-0003-0425-6786"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Fred Freitas","raw_affiliation_strings":["Centro de Informtica, Universidade Federal de Pernambuco (CIn/UFPE)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Informtica, Universidade Federal de Pernambuco (CIn/UFPE)","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103176344"],"corresponding_institution_ids":["https://openalex.org/I25112270"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":null,"first_page":"15","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9937999844551086,"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.9937999844551086,"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.9483000040054321,"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/benchmark","display_name":"Benchmark (surveying)","score":0.5488733053207397},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.536702036857605},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3896549344062805},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3206496834754944},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.19702258706092834},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.13340961933135986}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5488733053207397},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.536702036857605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3896549344062805},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3206496834754944},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.19702258706092834},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.13340961933135986}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/tgc4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tgc4","pdf_url":"https://easychair.org/publications/open/vv1m","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"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":"Kalpa Publications in Computing","raw_type":"proceedings-article"},{"id":"mag:2953691543","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ruleml/sp2018.html#Freitas18","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.29007/tgc4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tgc4","pdf_url":"https://easychair.org/publications/open/vv1m","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"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":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2953691543.pdf","grobid_xml":"https://content.openalex.org/works/W2953691543.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W1482585805","https://openalex.org/W6632440936","https://openalex.org/W6635695819","https://openalex.org/W6660773886","https://openalex.org/W6684723639"],"related_works":["https://openalex.org/W2965490697"],"abstract_inverted_index":{"DL":[0,55,69,130],"reasoners":[1],"were":[2],"developed":[3],"with":[4,98,150],"cutting-edge":[5],"performance,":[6],"implementing":[7],"plenty":[8],"of":[9,59],"specific":[10],"optimization":[11],"techniques":[12],"over":[13,18],"tableaux-based":[14],"methods,":[15,171],"which":[16,33,164,175,183,193],"took":[17],"the":[19,34,127,180],"field.":[20],"However,":[21],"promising":[22],"methods":[23,91],"may":[24],"have":[25],"been":[26],"neglected":[27],"in":[28,32,92,142],"such":[29,132],"a":[30,82,93],"scenario,":[31],"tough":[35],"competition":[36],"is":[37,47,62,158],"often":[38],"focused":[39],"on":[40,54,66],"gains":[41],"through":[42],"optimizations.":[43,105],"Therefore,":[44],"perhaps":[45],"there":[46,161],"still":[48],"room":[49],"available":[50],"for":[51],"\u201cbasic":[52],"research\u201d":[53],"reasoning.":[56],"The":[57,135,156],"purpose":[58],"this":[60],"work":[61],"to":[63,168,192],"stimulate":[64],"research":[65],"trying":[67],"out":[68,79],"calculi":[70],"other":[71,89],"than":[72],"tableaux.":[73],"Such":[74],"endeavors":[75],"should":[76],"be":[77,139],"carried":[78],"by":[80,141],"making":[81],"careful,":[83],"detailed":[84],"comparison":[85,136],"between":[86],"tableaux":[87],"and":[88,110,113,123,146,152],"inference":[90,170],"systematic":[94],"way:":[95],"first":[96],"starting":[97],"simpler":[99],"languages":[100],"(like":[101],"ALC)":[102],"without":[103],"any":[104],"Then":[106],"gradually":[107],"including":[108,121],"optimizations":[109],"comparing":[111],"them;":[112],"continuing":[114],"these":[115],"interactive":[116],"steps:":[117],"enhancing":[118],"language":[119],"expressivity,":[120],"optimizations,":[122],"testing":[124],"until":[125],"reaching":[126],"most":[128],"expressive":[129],"fragments":[131,163],"as":[133,172,174],"SROIQ.":[134],"can":[137],"also":[138],"done":[140],"terms":[143],"memory":[144],"usage":[145],"algorithm":[147],"asymptotic":[148],"analysis,":[149],"worst":[151],"average":[153],"cases,":[154],"etc.":[155],"rationale":[157],"identifying":[159],"whether":[160],"are":[162,165,190],"more":[166],"suitable":[167],"certain":[169],"well":[173],"aspects":[176],"or":[177],"constructs":[178],"(e.g.,":[179],"costliest":[181],"combinations,":[182],"usually":[184],"involve":[185],"inverses,":[186],"nominals,":[187],"equalities,":[188],"etc)":[189],"sensitive":[191],"calculus.":[194]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}