{"id":"https://openalex.org/W2081543021","doi":"https://doi.org/10.1007/s40595-013-0009-y","title":"WORL: a nonmonotonic rule language for the semantic web","display_name":"WORL: a nonmonotonic rule language for the semantic web","publication_year":2013,"publication_date":"2013-11-15","ids":{"openalex":"https://openalex.org/W2081543021","doi":"https://doi.org/10.1007/s40595-013-0009-y","mag":"2081543021"},"language":"en","primary_location":{"id":"doi:10.1007/s40595-013-0009-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s40595-013-0009-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40595-013-0009-y.pdf","source":{"id":"https://openalex.org/S2486636169","display_name":"Vietnam Journal of Computer Science","issn_l":"2196-8888","issn":["2196-8888","2196-8896"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Vietnam Journal of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://link.springer.com/content/pdf/10.1007/s40595-013-0009-y.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017165753","display_name":"Son Thanh Cao","orcid":"https://orcid.org/0000-0002-4771-7856"},"institutions":[{"id":"https://openalex.org/I1315456113","display_name":"Vinh University","ror":"https://ror.org/0244cgm12","country_code":"VN","type":"education","lineage":["https://openalex.org/I1315456113"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Son Thanh Cao","raw_affiliation_strings":["Faculty of Information Technology, Vinh University, 182 Le Duan, Vinh, Nghe An, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Vinh University, 182 Le Duan, Vinh, Nghe An, Vietnam","institution_ids":["https://openalex.org/I1315456113"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055424683","display_name":"Linh Anh Nguyen","orcid":"https://orcid.org/0000-0002-8109-0567"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]},{"id":"https://openalex.org/I67868205","display_name":"VNU University of Science","ror":"https://ror.org/05w54hk79","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841","https://openalex.org/I67868205"]}],"countries":["PL","VN"],"is_corresponding":true,"raw_author_name":"Linh Anh Nguyen","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Banacha 2, 02-097 , Warsaw, Poland","VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam","Institute of Informatics, University of Warsaw, Banacha 2, 02-097\u00a0, Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097 , Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam","institution_ids":["https://openalex.org/I67868205"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097\u00a0, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007619026","display_name":"Andrzej Sza\u0142as","orcid":"https://orcid.org/0000-0002-6000-6581"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL","SE"],"is_corresponding":false,"raw_author_name":"Andrzej Sza\u0142as","raw_affiliation_strings":["Department of Computer and Information Science, Link\u00f6ping University, 581 83 , Link\u00f6ping, Sweden","Institute of Informatics, University of Warsaw, Banacha 2, 02-097 , Warsaw, Poland","Institute of Informatics, University of Warsaw, Banacha 2, 02-097\u00a0, Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, 581 83 , Link\u00f6ping, Sweden","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097 , Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097\u00a0, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5055424683"],"corresponding_institution_ids":["https://openalex.org/I4654613","https://openalex.org/I67868205"],"apc_list":null,"apc_paid":null,"fwci":4.9931,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.94915318,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1","issue":"1","first_page":"57","last_page":"69"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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.9998999834060669,"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.9987000226974487,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7641648650169373},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5543074011802673},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.5016860961914062},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4812029004096985},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.46771329641342163},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.44346296787261963},{"id":"https://openalex.org/keywords/semantic-web-rule-language","display_name":"Semantic Web Rule Language","score":0.4156871438026428},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.399251788854599},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39909762144088745},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.367931604385376},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.3337631821632385},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.14584186673164368},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13657155632972717},{"id":"https://openalex.org/keywords/social-semantic-web","display_name":"Social Semantic Web","score":0.07885497808456421},{"id":"https://openalex.org/keywords/semantic-analytics","display_name":"Semantic analytics","score":0.07124224305152893}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7641648650169373},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5543074011802673},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.5016860961914062},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4812029004096985},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.46771329641342163},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.44346296787261963},{"id":"https://openalex.org/C71695816","wikidata":"https://www.wikidata.org/wiki/Q3478367","display_name":"Semantic Web Rule Language","level":5,"score":0.4156871438026428},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.399251788854599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39909762144088745},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.367931604385376},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.3337631821632385},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.14584186673164368},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13657155632972717},{"id":"https://openalex.org/C534406577","wikidata":"https://www.wikidata.org/wiki/Q7550843","display_name":"Social Semantic Web","level":3,"score":0.07885497808456421},{"id":"https://openalex.org/C148792806","wikidata":"https://www.wikidata.org/wiki/Q7449046","display_name":"Semantic analytics","level":4,"score":0.07124224305152893},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s40595-013-0009-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s40595-013-0009-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40595-013-0009-y.pdf","source":{"id":"https://openalex.org/S2486636169","display_name":"Vietnam Journal of Computer Science","issn_l":"2196-8888","issn":["2196-8888","2196-8896"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Vietnam Journal of Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s40595-013-0009-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s40595-013-0009-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40595-013-0009-y.pdf","source":{"id":"https://openalex.org/S2486636169","display_name":"Vietnam Journal of Computer Science","issn_l":"2196-8888","issn":["2196-8888","2196-8896"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Vietnam Journal of Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.7699999809265137}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2081543021.pdf","grobid_xml":"https://content.openalex.org/works/W2081543021.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W62327733","https://openalex.org/W163246933","https://openalex.org/W1481181327","https://openalex.org/W1487145866","https://openalex.org/W1492384575","https://openalex.org/W1542026696","https://openalex.org/W1556463454","https://openalex.org/W1558832481","https://openalex.org/W1564541199","https://openalex.org/W1587067956","https://openalex.org/W1591768831","https://openalex.org/W1600046366","https://openalex.org/W1672891595","https://openalex.org/W1791430325","https://openalex.org/W1968513265","https://openalex.org/W2041388851","https://openalex.org/W2045427198","https://openalex.org/W2059572645","https://openalex.org/W2102308007","https://openalex.org/W2107910552","https://openalex.org/W2115303419","https://openalex.org/W2137862151","https://openalex.org/W2150585611","https://openalex.org/W2154996176","https://openalex.org/W2572885380","https://openalex.org/W2952727465","https://openalex.org/W4300129298"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W2072493788","https://openalex.org/W1988438613","https://openalex.org/W2070801544","https://openalex.org/W2077853828","https://openalex.org/W1487472891","https://openalex.org/W2348616540","https://openalex.org/W3036972880","https://openalex.org/W1508065823"],"abstract_inverted_index":{"We":[0,23,61],"develop":[1,63],"a":[2,12,54],"new":[3],"Web":[4],"ontology":[5],"rule":[6],"language,":[7],"called":[8],"WORL,":[9],"which":[10],"combines":[11],"variant":[13],"of":[14,44],"OWL":[15],"2":[16],"RL":[17],"with":[18,93,101],"eDatalog":[19,57,87],"$$^\\lnot":[20,58,88],"$$":[21,59,89],".":[22,60,90],"allow":[24],"additional":[25],"features":[26],"like":[27],"negation,":[28],"the":[29,41,64,68,77,96,104,114],"minimal":[30],"number":[31],"restriction":[32],"and":[33,67,99,120],"unary":[34],"external":[35],"checkable":[36],"predicates":[37],"to":[38,52,95,103,113],"occur":[39],"at":[40],"left-hand":[42],"side":[43],"concept":[45,124],"inclusion":[46,125],"axioms.":[47],"Some":[48],"restrictions":[49],"are":[50],"adopted":[51],"guarantee":[53],"translation":[55,85],"into":[56,86],"also":[62],"well-founded":[65,97],"semantics":[66,71,79,98,106],"stable":[69],"model":[70],"for":[72,80],"WORL":[73,82,92,119],"as":[74,76],"well":[75],"standard":[78,105],"stratified":[81],"(SWORL)":[83],"via":[84],"Both":[91],"respect":[94,102],"SWORL":[100,121],"have":[107],"PTime":[108],"data":[109],"complexity.":[110],"In":[111],"contrast":[112],"existing":[115],"combined":[116],"formalisms,":[117],"in":[118,123],"negation":[122],"axioms":[126],"is":[127],"interpreted":[128],"using":[129],"nonmonotonic":[130],"semantics.":[131]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":6}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}