Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)

DOI10.1007/s11432-008-0101-6zbMath1149.68426OpenAlexW1608104519MaRDI QIDQ948503

Yuming Shen, Yuncheng Jiang, Ju Wang

Publication date: 16 October 2008

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-008-0101-6

zbMATH Keywords

description logicmodeldescription graphterminological cycles

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Uses Software

• Pellet
• FaCT++
• Racer

Cites Work

• A refined architecture for terminological systems: Terminology = Schema + Views
• Using automata theory for characterizing the semantics of terminological cycles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)