{"id":"https://openalex.org/W1976022802","doi":"https://doi.org/10.1109/imcsit.2010.5679944","title":"Reasoning in RDF graphic formal system with quantifiers","display_name":"Reasoning in RDF graphic formal system with quantifiers","publication_year":2010,"publication_date":"2010-10-01","ids":{"openalex":"https://openalex.org/W1976022802","doi":"https://doi.org/10.1109/imcsit.2010.5679944","mag":"1976022802"},"language":"en","primary_location":{"id":"doi:10.1109/imcsit.2010.5679944","is_oa":false,"landing_page_url":"https://doi.org/10.1109/imcsit.2010.5679944","pdf_url":null,"source":{"id":"https://openalex.org/S4210192132","display_name":"Proceedings of the International Multiconference on Computer Science and Information Technology","issn_l":"1896-7094","issn":["1896-7094","2157-5525","2157-5533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Multiconference on Computer Science and Information Technology","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5071633679","display_name":"Alena Lukasov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"A Lukasova","raw_affiliation_strings":["Univerzita v Ostrav\u011bPY\u00edodov\u00eadeck\u00e1Po \u00edta\u0107\u00d9, Ostrava, Czech Republic","Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univerzita v Ostrav\u011bPY\u00edodov\u00eadeck\u00e1Po \u00edta\u0107\u00d9, Ostrava, Czech Republic","institution_ids":["https://openalex.org/I187293425"]},{"raw_affiliation_string":"Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic","institution_ids":["https://openalex.org/I187293425"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011949340","display_name":"Marek Vajgl","orcid":"https://orcid.org/0000-0002-4751-7117"},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"M Vajgl","raw_affiliation_strings":["Univerzita v Ostrav\u011bPY\u00edodov\u00eadeck\u00e1Po \u00edta\u0107\u00d9, Ostrava, Czech Republic","Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univerzita v Ostrav\u011bPY\u00edodov\u00eadeck\u00e1Po \u00edta\u0107\u00d9, Ostrava, Czech Republic","institution_ids":["https://openalex.org/I187293425"]},{"raw_affiliation_string":"Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic","institution_ids":["https://openalex.org/I187293425"]}]},{"author_position":"last","author":{"id":null,"display_name":"M Zacek","orcid":null},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"M Zacek","raw_affiliation_strings":["Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ostravsk\u00e1 Univerzita v Ostrav\u011b, P\u0159\u00edrodov\u011bdeck\u00e1 fakulta, katedra informatiky, a po\u010d\u00edta\u010d\u016f. 30. dubna, 22, Ostrava, Czech Republic","institution_ids":["https://openalex.org/I187293425"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I187293425"],"apc_list":null,"apc_paid":null,"fwci":1.8651,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87008495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9674999713897705,"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.9674999713897705,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9484000205993652,"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/T13734","display_name":"Advanced Computational Techniques and Applications","score":0.9064000248908997,"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/rdf","display_name":"RDF","score":0.8297492265701294},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7947295904159546},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.6757413744926453},{"id":"https://openalex.org/keywords/rdf-schema","display_name":"RDF Schema","score":0.6029751300811768},{"id":"https://openalex.org/keywords/cwm","display_name":"Cwm","score":0.5731176137924194},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5700758695602417},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4760679602622986},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4652451276779175},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4627220034599304},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44875746965408325},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4487551152706146},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.44827696681022644},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4460226893424988},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41003286838531494},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4084905982017517},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3439195156097412},{"id":"https://openalex.org/keywords/sparql","display_name":"SPARQL","score":0.29862141609191895},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11575272679328918}],"concepts":[{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.8297492265701294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7947295904159546},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.6757413744926453},{"id":"https://openalex.org/C15657843","wikidata":"https://www.wikidata.org/wiki/Q1751819","display_name":"RDF Schema","level":5,"score":0.6029751300811768},{"id":"https://openalex.org/C157595922","wikidata":"https://www.wikidata.org/wiki/Q50745537","display_name":"Cwm","level":5,"score":0.5731176137924194},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5700758695602417},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4760679602622986},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4652451276779175},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4627220034599304},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44875746965408325},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4487551152706146},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.44827696681022644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4460226893424988},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41003286838531494},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4084905982017517},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3439195156097412},{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.29862141609191895},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11575272679328918},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/imcsit.2010.5679944","is_oa":false,"landing_page_url":"https://doi.org/10.1109/imcsit.2010.5679944","pdf_url":null,"source":{"id":"https://openalex.org/S4210192132","display_name":"Proceedings of the International Multiconference on Computer Science and Information Technology","issn_l":"1896-7094","issn":["1896-7094","2157-5525","2157-5533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Multiconference on Computer Science and Information Technology","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W43613300","https://openalex.org/W2602535883","https://openalex.org/W2316359368","https://openalex.org/W1991234668","https://openalex.org/W4301152651","https://openalex.org/W1989267929","https://openalex.org/W2312829645","https://openalex.org/W68587154","https://openalex.org/W2360498695","https://openalex.org/W1506173319"],"abstract_inverted_index":{"Both":[0],"associative":[1,55,80],"networks":[2,56],"and":[3,48,62,72],"RDF":[4,59,66],"model":[5],"(here":[6],"we":[7],"consider":[8],"especially":[9],"its":[10],"graph":[11],"version)":[12],"belong":[13],"to":[14,45,54,63],"formal":[15,67],"systems":[16,36],"of":[17,27,29,34,79],"knowledge":[18],"representation":[19],"based":[20],"on":[21],"concept-oriented":[22],"paradigm.":[23],"To":[24],"treat":[25],"properties":[26,33],"both":[28],"them":[30],"as":[31],"common":[32],"the":[35],"is":[37,89],"therefore":[38],"natural.":[39],"The":[40],"article":[41],"shows":[42],"a":[43,65,86],"possibility":[44],"use":[46,76],"universal":[47],"existential":[49],"quantified":[50],"statements":[51],"introduced":[52],"prior":[53],"also":[57],"within":[58],"graphic":[60],"system":[61,68],"define":[64],"with":[69],"extended":[70],"syntax":[71],"semantic":[73],"that":[74],"can":[75],"inference":[77],"rules":[78],"networks.":[81],"As":[82],"an":[83],"example":[84],"solution,":[85],"logical":[87],"puzzle":[88],"presented.":[90]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}