Abox satisfiability reduced to terminological reasoning in expressive description logics

Conference proceeding

Peer reviewed

S Tessaris and I Horrocks

9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, Vol.2514, pp.435-449

2514

9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 (Tbilisi, 14/10/2002 - 18/10/2002)

2002

Handle:

https://hdl.handle.net/10863/35474

Files and links (1)

url

https://link.springer.com/chapter/10.1007/3-540-36078-6_29View

Title: Abox satisfiability reduced to terminological reasoning in expressive description logics
Creators: S Tessaris - -, Free University of Bozen-Bolzano
I Horrocks
Publication Details: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, Vol.2514, pp.435-449
ISBN: 9783540000105
Conference: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 (Tbilisi, 14/10/2002 - 18/10/2002)
Series / Volume: 2514
Publisher: Springer Verlag
Identifiers: 978-354000010-5
(UNIBZ)25490806
991006493189201241
Web of Science ID: WOS:000187008200029
Scopus ID: 2-s2.0-33845452097
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Tessaris S, Horrocks, I

1 Record Views