{"id":"https://openalex.org/W38434626","doi":null,"title":"RIF Framework for Logic Dialects","display_name":"RIF Framework for Logic Dialects","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W38434626","mag":"38434626"},"language":"en","primary_location":{"id":"mag:38434626","doi":null,"is_oa":false,"landing_page_url":"https://www.w3.org/2010/pdf/PR-rif-fld-20100511.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5001111183","display_name":"Harold Boley","orcid":"https://orcid.org/0000-0002-8940-7469","observed_orcids":["https://orcid.org/0000-0002-8940-7469"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Harold Boley","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8940-7469","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5059918476","display_name":"Michael Kifer","orcid":"https://orcid.org/0000-0003-3177-5792","observed_orcids":["https://orcid.org/0000-0003-3177-5792"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Kifer","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3177-5792","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.6074,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.966303,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":97},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.49459999799728394,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.49459999799728394,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.47440001368522644,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.00279999990016222,"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/rule-interchange-format","display_name":"Rule Interchange Format","score":0.972000002861023},{"id":"https://openalex.org/keywords/rule-interchange","display_name":"rule interchange","score":0.5699999928474426},{"id":"https://openalex.org/keywords/syntax-and-semantics","display_name":"syntax and semantics","score":0.453000009059906},{"id":"https://openalex.org/keywords/signature","display_name":"signature","score":0.9089999794960022},{"id":"https://openalex.org/keywords/symbol-spaces","display_name":"symbol spaces","score":1.0},{"id":"https://openalex.org/keywords/semantic-structure","display_name":"semantic structure","score":0.9739999771118164},{"id":"https://openalex.org/keywords/rule-based-languages","display_name":"rule languages","score":0.3160000145435333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6303501129150391},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5582119822502136},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4853007197380066},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.47903695702552795},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.44959205389022827},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.4471295177936554},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44093188643455505},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3527846932411194},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33489230275154114},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:38434626","doi":null,"is_oa":false,"landing_page_url":"https://www.w3.org/2010/pdf/PR-rif-fld-20100511.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W186758419","https://openalex.org/W1564586270","https://openalex.org/W1608443439","https://openalex.org/W1672891595","https://openalex.org/W1789985355","https://openalex.org/W1968513265","https://openalex.org/W1979966822","https://openalex.org/W1984820433","https://openalex.org/W2084130127","https://openalex.org/W2099792091","https://openalex.org/W2102048877"],"related_works":["https://openalex.org/W7097421401","https://openalex.org/W7097485030","https://openalex.org/W7100299238","https://openalex.org/W7101009381","https://openalex.org/W2138307176","https://openalex.org/W4254455338","https://openalex.org/W4243254863","https://openalex.org/W25901819","https://openalex.org/W4233808590","https://openalex.org/W2265788724"],"abstract_inverted_index":{"This":[0],"document,":[1],"developed":[2],"by":[3],"the":[4,26],"Rule":[5],"Interchange":[6],"Format":[7],"(RIF)":[8],"Working":[9],"Group,":[10],"defines":[11],"a":[12,35],"general":[13],"RIF":[14,32],"Framework":[15],"for":[16,24],"Logic":[17],"Dialects":[18],"(RIF-FLD).":[19],"The":[20,50],"framework":[21,56],"describes":[22],"mechanisms":[23],"specifying":[25],"syntax":[27],"and":[28,47,61],"semantics":[29],"of":[30,37],"logic":[31],"dialects":[33,52],"through":[34],"number":[36],"generic":[38],"concepts":[39],"such":[40],"as":[41],"signatures,":[42],"symbol":[43],"spaces,":[44],"semantic":[45],"structures,":[46],"so":[48],"on.":[49],"actual":[51],"should":[53],"specialize":[54],"this":[55],"to":[57],"produce":[58],"their":[59],"syntaxes":[60],"semantics.":[62]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}