Description logics with inverse roles, functional restrictions, and n-ary relations

DOI10.1007/BFB0021982MaRDI QIDQ4537448zbMATH OpenFDO

Authors Giuseppe De Giacomo, Maurizio Lenzerini

Publication date 30 June 2002

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

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

Mathematics Subject Classification ID

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

Recommendations

• Description logics for ontologies
• On expressive description logics with composition of roles in number restrictions
• Practical reasoning for very expressive description logics
• Description logics in knowledge representation
• On the relative expressiveness of description logics and predicate logics

Cited in

(4)

• Towards contingent world descriptions in description logics
• Representing n-ary relations in the semantic web
• Conservative Extensions in Horn Description Logics with Inverse Roles
• On keys and functional dependencies as first-class citizens in description logics

This page was built for publication: Description logics with inverse roles, functional restrictions, and \(n\)-ary relations

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