Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMATH Open1177.68179OpenAlexW4212786759MaRDI QIDQ5898545FDOQ5898545

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

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
• Publication:4938424
• Practical reasoning for very expressive description logics

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (5)

• Title not available (Why is that?)
• Flat matching
• Unranked Nominal Unification
• On the saturation of YAGO
• Non-classical logics in satisfiability modulo theories

Uses Software

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

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)