Matching in Hybrid Terminologies

DOI10.1007/978-3-540-75560-9_14MaRDI QIDQ3498464zbMATH OpenOpenAlexFDO

Authors Sebastian F. Brandt

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• KI 2005: Advances in Artificial Intelligence
• Non-standard inferences in description logics
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Matching in description logics
• Hybrid unification in the description logic \(\mathcal{EL}\)

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Classic learning
• Graph-Theoretic Concepts in Computer Science
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• KI 2005: Advances in Artificial Intelligence
• Matching in description logics
• Non-standard inferences in description logics
• The learnability of description logics with equality constraints

Cited in

(6)

• Hybrid terms and sentences
• A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in \cal EL w.r.t. Hybrid TBoxes
• Matching in description logics
• Automated Reasoning
• KI 2005: Advances in Artificial Intelligence
• Non-standard inferences in description logics

This page was built for publication: Matching in Hybrid Terminologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498464)