First-Order Rewritability of Atomic Queries in Horn Description Logics

Meghyn Bienvenu; Carsten Lutz; Frank Wolter

Conference Papers Year : 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics

(1) , (2) , (3)

1
2
3

Meghyn Bienvenu

Function : Author
PersonId : 183255
IdHAL : meghyn
ORCID : 0000-0001-6229-8103

Données et Connaissances Massives et Hétérogènes (LRI)

Carsten Lutz

Function : Author

Computer science departement [Bremen]

Frank Wolter

Function : Author

Department of Computer Science [Liverpool]

Domains

Computer Science [cs] Artificial Intelligence [cs.AI] Computer Science [cs] Logic in Computer Science [cs.LO]

Meghyn Bienvenu : Connect in order to contact the contributor

https://hal.science/hal-00947535

Submitted on : Sunday, February 16, 2014-10:17:11 PM

Last modification on : Friday, March 24, 2023-2:52:58 PM

Dates and versions

hal-00947535 , version 1 (16-02-2014)

Identifiers

HAL Id : hal-00947535 , version 1

Cite

Meghyn Bienvenu, Carsten Lutz, Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760. ⟨hal-00947535⟩

First-Order Rewritability of Atomic Queries in Horn Description Logics

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share