Knowledge bases built on web languages from the point of view of predicate logics-Reference-Cited by-同舟云学术

Knowledge bases built on web languages from the point of view of predicate logics

Published:2017 Issue: Volume: Page:
ISSN:0094-243X
Container-title:AIP Conference Proceedings
language:
Short-container-title:

Author:

Vajgl Marek,Lukasová Alena,Žáček Martin

Publisher

Author(s)

Link

http://aip.scitation.org/doi/pdf/10.1063/1.4981998

Reference12 articles.

1. Baader et col. (eds.): The Description Logic Handbook – Theory, Interpretation and Applications. Cambridge Univ. Press, 2003.

2. Lukasová, A.: Formal Logics in Artificial Intelligence (in Czech). Computer Press, 2003, Printed in Czech Republic.

3. Lukasová, A.. Reasoning with Semantic Tableau Binary Trees in Description Logic. Proc. DL2005, Edinbourgh, 2005.

4. Lukasová, A., Vajgl, M.. Gentzen-like Proofs in Description Logic DL1. Proc.of the Tenth International Conference on Informatics 2009, Košice, 2009, s. 160–166, ISBN 978-80-8086-126-1.

5. Lukasova, A., Vajgl, M., ΁áček, M.: Reasoning in RDF graphic formal system with quantifiers. Proceedings of the International Multiconference on Computer Science and Information Technology. 2010. pp. 67–72.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Knowledge Patterns within the Conception of Semantic Web;Ontological Analyses in Science, Technology and Informatics;2020-07-15

2. Knowing and/or Believing a Think: Deriving Knowledge Using RDF CFL;Lecture Notes in Electrical Engineering;2019

3. Ontology Languages for Semantic Web from a Bit Higher Level of Generality;Intelligent Information and Database Systems;2018

4. Linguistic research of the Czech language;AIP Conference Proceedings;2018