Actions Over a Constructive Semantics for Description Logics

DOI10.3233/FI-2009-178zbMath1209.68524MaRDI QIDQ3400566

Mauro Ferrari, Paola Villa, Loris Bozzato

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (4)

Constructive Description Logics Hybrid-Style ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ Bridges from Language to Logic: Concepts, Contexts and Ontologies ⋮ Intuitionistic hybrid logic: introduction and survey

Uses Software

• Smodels
• Unnamed Item

Cites Work

• Unnamed Item

This page was built for publication: Actions Over a Constructive Semantics for Description Logics