scientific article; zbMATH DE number 1531967

From MaRDI portal

Publication:4514013

Jump to:navigation, search

zbMath0957.03019MaRDI QIDQ4514013

Andrea Schaerf, Francesco M. Donini, Daniele Nardi, Maurizio Lenzerini

Publication date: 4 March 2001

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

zbMATH Keywords

survey knowledge representation description logics concept language computational complexity of reasoning problems structured concepts

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (3)

Hyperresolution for guarded formulae ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Expressiveness of concept expressions in first-order description logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4514013&oldid=18613821"