scientific article; zbMATH DE number 1980942

zbMath1023.03541MaRDI QIDQ4428317

Ian Horrocks, Sergio Tessaris

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140435.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Uses Software

• DAML+OIL

This page was built for publication: