Actions Over a Constructive Semantics for Description Logics

DOI10.3233/FI-2009-178zbMATH Open1209.68524MaRDI QIDQ3400566FDOQ3400566

Mauro Ferrari, Paola Villa, Loris Bozzato

Publication date: 5 February 2010

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

Mathematics Subject Classification ID

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

Cites Work

• ASSAT

Cited In (7)

• Verifying Properties of Infinite Sequences of Description Logic Actions
• \(\mathcal {BCDL}\): Basic constructive description logic
• Constructive Description Logics Hybrid-Style
• Intuitionistic hybrid logic: introduction and survey
• Title not available (Why is that?)
• Bridges from Language to Logic: Concepts, Contexts and Ontologies
• Title not available (Why is that?)

Uses Software

• ASSAT
• Smodels

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

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