{"id":"https://openalex.org/W7148829366","doi":"https://doi.org/10.48550/arxiv.2604.01770","title":"Domain-constrained knowledge representation: A modal framework","display_name":"Domain-constrained knowledge representation: A modal framework","publication_year":2026,"publication_date":"2026-04-02","ids":{"openalex":"https://openalex.org/W7148829366","doi":"https://doi.org/10.48550/arxiv.2604.01770"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2604.01770","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2604.01770","pdf_url":"https://arxiv.org/pdf/2604.01770","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2604.01770","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132847805","display_name":"Chao Li","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Chao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103132353","display_name":"Yuru Wang","orcid":"https://orcid.org/0000-0002-2309-1043","observed_orcids":["https://orcid.org/0000-0002-2309-1043"]},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Yuru","raw_affiliation_strings":["School of Information Science and Technology , Northeast Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology , Northeast Normal University","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5132896803","display_name":"Chunyi Zhao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I80281795","display_name":"University of Otago","ror":"https://ror.org/01jmxt844","country_code":"NZ","type":"education","lineage":["https://openalex.org/I80281795"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Zhao, Chunyi","raw_affiliation_strings":["Centre of Educational Design and Learning , University of Otago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre of Educational Design and Learning , University of Otago","institution_ids":["https://openalex.org/I80281795"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9243000149726868,"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.9243000149726868,"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.06710000336170197,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.000699999975040555,"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/knowledge-graphs","display_name":"knowledge graphs","score":0.6230000257492065},{"id":"https://openalex.org/keywords/modal-logic","display_name":"modal logic","score":0.6840000152587891},{"id":"https://openalex.org/keywords/necessity-operator","display_name":"necessity operator","score":0.8849999904632568},{"id":"https://openalex.org/keywords/possible-worlds-semantics","display_name":"Kripke semantics","score":0.890999972820282},{"id":"https://openalex.org/keywords/concept-disambiguation","display_name":"concept disambiguation","score":0.777999997138977},{"id":"https://openalex.org/keywords/prolog-implementation","display_name":"Prolog implementation","score":0.6650000214576721},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.43700000643730164},{"id":"https://openalex.org/keywords/owls","display_name":"owls","score":0.9419999718666077},{"id":"https://openalex.org/keywords/relational-databases","display_name":"relational databases","score":0.7789999842643738}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6200000047683716},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5764999985694885},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5526999831199646},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.54830002784729},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.48510000109672546},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.47540000081062317},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.46389999985694885},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4526999890804291},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.4106000065803528},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4007999897003174},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3885999917984009},{"id":"https://openalex.org/C2778734905","wikidata":"https://www.wikidata.org/wiki/Q15130689","display_name":"Reinterpretation","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C2987255567","wikidata":"https://www.wikidata.org/wiki/Q33002955","display_name":"Knowledge graph","level":2,"score":0.36340001225471497},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3506999909877777},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3321000039577484},{"id":"https://openalex.org/C179139399","wikidata":"https://www.wikidata.org/wiki/Q1228944","display_name":"Domain of discourse","level":2,"score":0.33059999346733093},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.33000001311302185},{"id":"https://openalex.org/C234837","wikidata":"https://www.wikidata.org/wiki/Q1420493","display_name":"Conceptual graph","level":3,"score":0.3294000029563904},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2973000109195709},{"id":"https://openalex.org/C201377581","wikidata":"https://www.wikidata.org/wiki/Q863448","display_name":"Reification (Marxism)","level":3,"score":0.29670000076293945},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.26739999651908875},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.2606000006198883},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.2540999948978424},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2604.01770","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2604.01770","pdf_url":"https://arxiv.org/pdf/2604.01770","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2604.01770","doi":"https://doi.org/10.48550/arxiv.2604.01770","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01770","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2604.01770","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2604.01770","pdf_url":"https://arxiv.org/pdf/2604.01770","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7148829366.pdf","grobid_xml":"https://content.openalex.org/works/W7148829366.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4415959360","https://openalex.org/W4250774753","https://openalex.org/W2294087293","https://openalex.org/W2785784548","https://openalex.org/W2912368236","https://openalex.org/W96587197","https://openalex.org/W7096466671","https://openalex.org/W7097442184","https://openalex.org/W214065702","https://openalex.org/W2403178024"],"abstract_inverted_index":{"Knowledge":[0],"graphs":[1],"store":[2],"large":[3],"numbers":[4],"of":[5,19,82,96,186,234],"relations":[6,197],"efficiently,":[7],"but":[8,73],"they":[9,74],"remain":[10],"weak":[11],"at":[12,134,139,183],"representing":[13],"a":[14,20,111,124,155,210,213,217,231,264],"quieter":[15],"difficulty:":[16],"the":[17,25,79,83,106,119,129,137,142,146,150,170,184,256,270],"meaning":[18],"concept":[21],"often":[22],"shifts":[23],"with":[24,69],"domain":[26,56,90,115,235,250,263],"in":[27,42,50,113,144,245],"which":[28,114,145],"it":[29],"is":[30,58,116,152,230,240,251],"used.":[31],"A":[32],"triple":[33],"such":[34],"as":[35,60,94,101,123,253],"Apple,":[36],"instance-of,":[37],"Company":[38],"may":[39],"be":[40,92,181,191,199],"acceptable":[41],"one":[43],"setting":[44],"while":[45],"being":[46],"misleading":[47],"or":[48,63],"unusable":[49],"another.":[51],"In":[52,128],"most":[53],"current":[54],"systems,":[55],"information":[57],"attached":[59],"metadata,":[61],"qualifiers,":[62],"graph-level":[64],"organization.":[65],"These":[66],"mechanisms":[67],"help":[68],"filtering":[70],"and":[71,121,163,220,225,266],"provenance,":[72],"usually":[75],"do":[76],"not":[77],"alter":[78],"formal":[80],"status":[81],"assertion":[84],"itself.":[85,236],"This":[86,173],"paper":[87,205],"argues":[88],"that":[89,160,241,260],"should":[91],"treated":[93,252],"part":[95],"knowledge":[97,246],"representation":[98],"rather":[99],"than":[100],"supplementary":[102],"annotation.":[103],"It":[104],"introduces":[105],"Domain-Contextualized":[107],"Concept":[108],"Graph":[109],"(DCG),":[110],"framework":[112],"written":[117],"into":[118],"relation":[120,147,151],"interpreted":[122,153],"modal":[125],"world":[126,143],"constraint.":[127],"DCG":[130,258],"form":[131],"(C,":[132],"R":[133],"D,":[135],"C'),":[136],"marker":[138],"D":[140],"identifies":[141],"holds.":[148],"Formally,":[149],"through":[154,201,209],"domain-indexed":[156],"necessity":[157],"operator,":[158],"so":[159],"truth,":[161],"inference,":[162],"conflict":[164],"checking":[165],"are":[166],"all":[167],"scoped":[168],"to":[169,222,255],"relevant":[171],"world.":[172],"move":[174],"has":[175],"three":[176],"consequences:":[177],"ambiguous":[178],"concepts":[179],"can":[180,190,198],"disambiguated":[182],"point":[185],"representation;":[187],"invalid":[188],"assertions":[189],"challenged":[192],"against":[193],"their":[194],"domain;":[195],"cross-domain":[196],"connected":[200],"explicit":[202],"predicates.":[203],"The":[204,228,237],"develops":[206],"this":[207],"claim":[208,239],"Kripke-style":[211],"semantics,":[212],"compact":[214],"predicate":[215],"system,":[216],"Prolog":[218],"implementation,":[219],"mappings":[221],"RDF,":[223],"OWL,":[224],"relational":[226],"databases.":[227],"contribution":[229],"representational":[232],"reinterpretation":[233],"central":[238],"many":[242],"practical":[243],"failures":[244],"systems":[247],"begin":[248],"when":[249],"external":[254],"assertion.":[257],"addresses":[259],"by":[261],"giving":[262],"structural":[265],"computable":[267],"role":[268],"inside":[269],"representation.":[271]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-04-04T00:00:00"}