``Reducing classic to practice: Knowledge representation theory meets reality
From MaRDI portal
DOI10.1016/S0004-3702(99)00078-8zbMATH Open0939.68837OpenAlexW2146441910MaRDI QIDQ1978452FDOQ1978452
Authors: R. J. Brachman, D. L. McGuinness, A. Borgida, 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
Recommendations
Cites Work
- ``Reducing classic to practice: Knowledge representation theory meets reality
- An epistemic operator for description logics
- Terminological reasoning is inherently intractable
- Title not available (Why is that?)
- Title not available (Why is that?)
- Matching in description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (7)
- Sound and efficient closed-world reasoning for planning
- Reductions and saturation reductions of (abstract) knowledge bases
- The complexity of concept languages
- The KL-ONE family
- Tractable reasoning via approximation
- ``Reducing classic to practice: Knowledge representation theory meets reality
- An alternative proof method for possibilistic logic and its application to terminological logics
This page was built for publication: ``Reducing classic to practice: Knowledge representation theory meets reality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978452)
