``Reducing classic to practice: Knowledge representation theory meets reality

DOI10.1016/S0004-3702(99)00078-8zbMath0939.68837OpenAlexW2146441910MaRDI QIDQ1978452

A. Borgida, D. L. McGuinness, R. J. Brachman, Peter F. Patel-Schneider

Publication date: 4 June 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00078-8

zbMATH Keywords

knowledge representationdescription logicstechnology transferAI applicationscLASSICKL-one

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (6)

An alternative proof method for possibilistic logic and its application to terminological logics ⋮ The complexity of concept languages ⋮ Sound and efficient closed-world reasoning for planning ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ The KL-ONE family ⋮ Tractable reasoning via approximation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An epistemic operator for description logics
• ``Reducing classic to practice: Knowledge representation theory meets reality
• Terminological reasoning is inherently intractable
• Matching in description logics

This page was built for publication: ``Reducing classic to practice: Knowledge representation theory meets reality