( en | de | ru )

 

Disambiguation of "Carral, David"

Author of the publication

copydeleteadd this publication to your clipboard
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.

, , , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 189-204. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jürgen Davids

Volker David

Bodo David

Erich David

Ernst David

 

Other publications of authors with the same name

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules., and . IJCAI, page 1777-1783. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Chasing Sets: How to Use Existential Rules for Expressive Reasoning., , , and . IJCAI, page 1624-1631. ijcai.org, (2019)Modeling OWL with Rules: The ROWL Protege Plugin., , , and . ISWC (Posters & Demos), volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)VLog: A Rule Engine for Knowledge Graphs., , , , , and . ISWC (2), volume 11779 of Lecture Notes in Computer Science, page 19-35. Springer, (2019)EL-ifying Ontologies., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 464-479. Springer, (2014)Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)., and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs., , , , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 128-140. CEUR-WS.org, (2014)SROIQ Syntax Approximation by Using Nominal Schemas., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 988-999. CEUR-WS.org, (2013)Reasoner = Logical Calculus + Rule Engine., , and . Künstliche Intell., 34 (4): 453-463 (2020)A Practical Acyclicity Notion for Query Answering Over Horn- SRIQ Ontologies., , and . ISWC (1), volume 9981 of Lecture Notes in Computer Science, page 70-85. (2016)