{"id":"https://openalex.org/W2785799661","doi":"https://doi.org/10.29007/8jfk","title":"Abduction for Learning Smart City Rules","display_name":"Abduction for Learning Smart City Rules","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2785799661","doi":"https://doi.org/10.29007/8jfk","mag":"2785799661"},"language":"en","primary_location":{"id":"doi:10.29007/8jfk","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8jfk","pdf_url":"https://easychair.org/publications/open/8CWl","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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/8CWl","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091080723","display_name":"Nikolaj Bj\u00f8rner","orcid":"https://orcid.org/0000-0002-1695-2810"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nikolaj Bjorner","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006661351","display_name":"Maria-Cristina Marinescu","orcid":"https://orcid.org/0000-0002-6978-2974"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maria-Cristina Marinescu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5002512849","display_name":"Mooly Sagiv","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mooly Sagiv","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5091080723"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01265434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"50","issue":null,"first_page":"233","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9909999966621399,"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.9909999966621399,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9717000126838684,"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/T11719","display_name":"Data Quality and Management","score":0.9495999813079834,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7942618131637573},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7855390310287476},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.768364429473877},{"id":"https://openalex.org/keywords/smart-city","display_name":"Smart city","score":0.6551589369773865},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5744117498397827},{"id":"https://openalex.org/keywords/ontology-learning","display_name":"Ontology learning","score":0.5106964707374573},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4707655906677246},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.44110843539237976},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4098063111305237},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36961013078689575},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3594330847263336},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3552544116973877},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.33424070477485657},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.30564290285110474},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1881914734840393},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.15044841170310974}],"concepts":[{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7942618131637573},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7855390310287476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.768364429473877},{"id":"https://openalex.org/C2777103469","wikidata":"https://www.wikidata.org/wiki/Q1231558","display_name":"Smart city","level":3,"score":0.6551589369773865},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5744117498397827},{"id":"https://openalex.org/C2777002027","wikidata":"https://www.wikidata.org/wiki/Q3620938","display_name":"Ontology learning","level":5,"score":0.5106964707374573},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4707655906677246},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.44110843539237976},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4098063111305237},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36961013078689575},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3594330847263336},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3552544116973877},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.33424070477485657},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.30564290285110474},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1881914734840393},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.15044841170310974},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C50971890","wikidata":"https://www.wikidata.org/wiki/Q7635093","display_name":"Suggested Upper Merged Ontology","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/8jfk","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8jfk","pdf_url":"https://easychair.org/publications/open/8CWl","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/8jfk","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8jfk","pdf_url":"https://easychair.org/publications/open/8CWl","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":[{"display_name":"Sustainable cities and communities","score":0.75,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2785799661.pdf","grobid_xml":"https://content.openalex.org/works/W2785799661.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2051508632","https://openalex.org/W4255991504","https://openalex.org/W2384218079","https://openalex.org/W2075489301","https://openalex.org/W2024342824","https://openalex.org/W147727067","https://openalex.org/W2578335339","https://openalex.org/W1968332217","https://openalex.org/W2156556194","https://openalex.org/W2039166384"],"abstract_inverted_index":{"We":[0,12],"propose":[1],"using":[2],"abduction":[3],"for":[4,8],"inferring":[5],"implicit":[6],"rules":[7],"Smart":[9,50],"City":[10,51],"ontologies.":[11],"show":[13],"how":[14],"we":[15,96,108],"can":[16],"use":[17],"Z3":[18],"to":[19,65],"extract":[20],"candidate":[21],"abducers":[22],"from":[23],"partial":[24],"ontologies":[25,113],"and":[26,40,42,103,121],"leverage":[27],"them":[28],"in":[29,114],"an":[30,35,115],"iterative":[31,116],"process":[32],"of":[33,53,56,78],"evolving":[34,112],"ontology":[36,61],"by":[37],"refining":[38],"relations":[39,120],"restrictions,":[41],"populating":[43],"relations.":[44],"Our":[45],"starting":[46],"point":[47],"is":[48,62],"a":[49,59],"initiative":[52],"the":[54,76,79],"city":[55,70],"Barcelona,":[57],"where":[58],"substantial":[60],"being":[63],"developed":[64],"support":[66],"processes":[67],"such":[68],"as":[69,118],"planning,":[71],"social":[72],"services,":[73],"or":[74],"improving":[75],"quality":[77],"data":[80],"concerning":[81],"(for":[82],"instance)":[83],"legal":[84],"entities,":[85],"whose":[86],"incompleteness":[87],"may":[88],"sometimes":[89],"hide":[90],"fraudulent":[91],"behavior.":[92],"In":[93],"our":[94],"scenario":[95],"are":[97,123],"supporting":[98],"semantic":[99],"queries":[100],"over":[101],"heterogeneous":[102],"noisy":[104],"data.":[105],"The":[106],"approach":[107],"develop":[109],"would":[110],"allow":[111],"fashion":[117],"new":[119],"restrictions":[122],"discovered.":[124]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}