{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:01:56Z","timestamp":1742922116168,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319754192"},{"type":"electronic","value":"9783319754208"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75420-8_26","type":"book-chapter","created":{"date-parts":[[2018,2,13]],"date-time":"2018-02-13T11:13:28Z","timestamp":1518520408000},"page":"275-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Ontology Languages for Semantic Web from a Bit Higher Level of Generality"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9062-4233","authenticated-orcid":false,"given":"Martin","family":"\u017d\u00e1\u010dek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alena","family":"Lukasov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Vajgl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,14]]},"reference":[{"key":"26_CR1","isbn-type":"print","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F. (ed.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003). ISBN 0-521-78176-0","ISBN":"https:\/\/id.crossref.org\/isbn\/0521781760"},{"key":"26_CR2","volume-title":"Creating the Semantic Web with RDF: Professional","author":"J Hjelm","year":"2001","unstructured":"Hjelm, J.: Creating the Semantic Web with RDF: Professional. Wiley, New York (2001)"},{"key":"26_CR3","unstructured":"Lukasov\u00e1, A.: Knowledge representation in associative networks. In: Proceedings of the Znalosti (2001). (in Czech)"},{"key":"26_CR4","first-page":"4009","volume":"19","author":"A Lukasov\u00e1","year":"2016","unstructured":"Lukasov\u00e1, A., \u017d\u00e1\u010dek, M.: English grammatical rules representation by a meta-language based on RDF model and predicate clausal form. Information 19, 4009\u20134015 (2016). ISSN 1343-4500","journal-title":"Information"},{"key":"26_CR5","doi-asserted-by":"publisher","unstructured":"Lukasov\u00e1, A., Vajgl, M., \u017d\u00e1\u010dek, M.: Knowledge represented using RDF semantic network in the concept of semantic web. In: International Conference of Numerical Analysis and Applied Mathematics 2015, ICNAAM 2015: Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2015 (ICNAAM-2015), 23 September 2015. American Institute of Physics Inc., Rhodes (2016). https:\/\/doi.org\/10.1063\/1.4951895. ISBN 978-0-7354-1392-4","DOI":"10.1063\/1.4951895"},{"key":"26_CR6","unstructured":"Lukasov\u00e1, A.: Formal Logics in Artificial Intelligence (Form\u00e1ln\u00ed logika v um\u011bl\u00e9 inteligenci). Computer Press (2003)"},{"key":"26_CR7","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-319-53934-8_20","volume-title":"Applied Physics, System Science and Computers","author":"A Lukasov\u00e1","year":"2018","unstructured":"Lukasov\u00e1, A., \u017d\u00e1\u010dek, M., Vajgl, M.: Carstairs-McCarthy\u2019s morphological rules of English language in RDFCFL graphs. In: Ntalianis, K., Croitoru, A. (eds.) APSAC 2017. LNEE, vol. 428, pp. 169\u2013174. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-53934-8_20"},{"key":"26_CR8","volume-title":"Clausal Form Logic. An Introduction to the Logic of Computer Reasoning","author":"T Richards","year":"1989","unstructured":"Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Addison \u2013 Wesley, Boston (1989)"},{"key":"26_CR9","doi-asserted-by":"publisher","unstructured":"Vajgl, M., Lukasov\u00e1, A., \u017d\u00e1\u010dek, M.: Knowledge bases built on web languages from the point of view of predicate logics. In: 1st International Conference on Applied Mathematics and Computer Science, ICAMCS 2017: AIP Conference Proceedings 19 January 2017. American Institute of Physics Inc., Rome (2017). https:\/\/doi.org\/10.1063\/1.4981998. ISBN 978-073541506-5","DOI":"10.1063\/1.4981998"},{"key":"26_CR10","doi-asserted-by":"publisher","unstructured":"\u017d\u00e1\u010dek, M.: Ontology or formal ontology. In: International Conference of Numerical Analysis and Applied Mathematics 2016, ICNAAM 2016: AIP Conference Proceedings 19 September 2016. American Institute of Physics Inc., Rhodes (2017). https:\/\/doi.org\/10.1063\/1.4992234. ISBN 978-073541538-6","DOI":"10.1063\/1.4992234"},{"key":"26_CR11","unstructured":"\u017d\u00e1\u010dek, M., Lukasov\u00e1, A., Miarka, R.: Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic. In: The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education: Proceedings of the 2013 International Conference on Advanced ICT and Education 20 September 2013, Sanya, China, AISR 2013, pp. 546\u2013549. Atlantis Press, France (2013). ISBN 978-90786-77-79-6. WOS 000327670900110"},{"key":"26_CR12","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-18476-0_28","volume-title":"Artificial Intelligence Perspectives and Applications","author":"M \u017d\u00e1\u010dek","year":"2015","unstructured":"\u017d\u00e1\u010dek, M., Miarka, R., S\u00fdkora, O.: Visualization of semantic data. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Prokopova, Z., Silhavy, P. (eds.) Artificial Intelligence Perspectives and Applications. AISC, vol. 347, pp. 277\u2013285. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-18476-0_28"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75420-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:44:45Z","timestamp":1710344685000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-75420-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319754192","9783319754208"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75420-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACIIDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Conference on Intelligent Information and Database Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dong Hoi City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 March 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 March 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aciids2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aciids.pwr.edu.pl\/2018\/index.php#about","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}