Lutz, Carsten

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…

An introduction to description logic

by Horrocks, Ian, Lutz, Carsten, Sattler, Uli, Baader, Franz von

0 Type: Book

"Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the log…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

"Description logic (DL) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DL have recently gained increased importance since they form the logica…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…