Foundations of Information and Knowledge Systems

DOI10.1007/11663881MaRDI QIDQ5898545zbMATH OpenOpenAlexFDO

Authors Ian Horrocks, Andrei Voronkov

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11663881

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 5887277
• Reasoning support for Semantic Web ontology family languages using Alloy
• scientific article; zbMATH DE number 2090284
• Reasoning in expressive description logics
• Complexity of reasoning with expressive ontology mappings
• scientific article; zbMATH DE number 1405450
• Practical reasoning for very expressive description logics

Cited in

(5)

• scientific article; zbMATH DE number 5887277 (Why is no real title available?)
• Flat matching
• Unranked Nominal Unification
• On the saturation of YAGO
• Non-classical logics in satisfiability modulo theories

Describes a project that uses

Uses Software

• Protege
• TeMP
• Racer
• Mace4
• TPTP
• VAMPIRE
• OTTER
• OilEd

This page was built for publication: Foundations of Information and Knowledge Systems

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