受强制性开放获取政策约束的文章 - David Carral了解详情
无法在其他位置公开访问的文章：3 篇
Reasoner= logical calculus+ rule engine
D Carral, I Dragoste, M Krötzsch
KI-Künstliche Intelligenz 34 (4), 453-463, 2020
强制性开放获取政策： German Research Foundation, Federal Ministry of Education and Research, Germany
An ontology design pattern for detector final states
D Carral
Ontology Engineering with Ontology Design Patterns, 329-333, 2016
强制性开放获取政策： US National Science Foundation
From Horn-SRIQ to Datalog
D Carral, L González, P Koopmann
强制性开放获取政策： German Research Foundation
可在其他位置公开访问的文章：29 篇
A geo-ontology design pattern for semantic trajectories
Y Hu, K Janowicz, D Carral, S Scheider, W Kuhn, G Berg-Cross, P Hitzler, ...
Spatial Information Theory: 11th International Conference, COSIT 2013 …, 2013
强制性开放获取政策： German Research Foundation
Vlog: A rule engine for knowledge graphs
D Carral, I Dragoste, L González, C Jacobs, M Krötzsch, J Urbani
The Semantic Web–ISWC 2019: 18th International Semantic Web Conference …, 2019
强制性开放获取政策： German Research Foundation
An ontology design pattern for cartographic map scaling
D Carral, S Scheider, K Janowicz, C Vardeman, AA Krisnadhi, P Hitzler
The Semantic Web: Semantics and Big Data: 10th International Conference …, 2013
强制性开放获取政策： German Research Foundation
-ifying ontologies
D Carral, C Feier, B Cuenca Grau, P Hitzler, I Horrocks
International Joint Conference on Automated Reasoning, 464-479, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Efficient model construction for Horn logic with VLog: System description
J Urbani, M Krötzsch, C Jacobs, I Dragoste, D Carral
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
强制性开放获取政策： German Research Foundation
Collected research questions concerning ontology design patterns
K Hammar, E Blomqvist, D Carral, M Van Erp, A Fokkens, A Gangemi, ...
Ontology Engineering with Ontology Design Patterns, 189-198, 2016
强制性开放获取政策： US National Science Foundation
The combined approach to query answering in Horn-ALCHOIQ
D Carral, I Dragoste, M Krötzsch
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
强制性开放获取政策： German Research Foundation
Rule-based OWL modeling with ROWLTab Protégé plugin
MK Sarker, A Krisnadhi, D Carral, P Hitzler
The Semantic Web: 14th International Conference, ESWC 2017, Portorož …, 2017
强制性开放获取政策： US National Science Foundation, German Research Foundation
Chasing sets: How to use existential rules for expressive reasoning
D Carral, I Dragoste, M Krötzsch, C Lewe
Description Logics, 2019
强制性开放获取政策： German Research Foundation
Pushing the boundaries of tractable ontology reasoning
D Carral, C Feier, BC Grau, P Hitzler, I Horrocks
The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
The combined approach to query answering beyond the OWL 2 profiles
C Feier, D Carral, G Stefanoni, BC Grau, I Horrocks
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Preserving constraints with the stable chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
21st International Conference on Database Theory (ICDT 2018), 2018
强制性开放获取政策： German Research Foundation
From Horn-SRIQ to Datalog: a data-independent transformation that preserves assertion entailment
D Carral, L González, P Koopmann
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2736-2743, 2019
强制性开放获取政策： German Research Foundation
Deciding hyperproperties combined with functional specifications
R Beutner, D Carral, B Finkbeiner, J Hofmann, M Krötzsch
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
强制性开放获取政策： German Research Foundation, Federal Ministry of Education and Research, Germany
Rewriting the description logic ALCHIQ to disjunctive existential rules
D Carral, M Krötzsch
Proceedings of the Twenty-Ninth International Conference on International …, 2021
强制性开放获取政策： German Research Foundation
A practical acyclicity notion for query answering over Horn-ontologies
D Carral, C Feier, P Hitzler
International Semantic Web Conference, 70-85, 2016
强制性开放获取政策： US National Science Foundation, European Commission
Checking chase termination over ontologies of existential rules with equality
D Carral, J Urbani
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2758-2765, 2020
强制性开放获取政策： German Research Foundation, Netherlands Organisation for Scientific Research
出版信息和资助信息由计算机程序自动确定