Results 291 to 297 of about 2,766,744 (297)

Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ

Information Sciences, 2011
Fernando Bobillo, U. Straccia
semanticscholar   +1 more source

Reducing OWL Entailment to Description Logic Satisfability

Description Logics, 2003
Ian Horrocks, P. Patel-Schneider
semanticscholar   +1 more source

The Description of Logical Properties

Analysis, 1940
openaire   +2 more sources

Description and/or Hybrid Logics

2000
Areces, C., de Rijke, M.
openaire   +3 more sources

Logic for Data Description

1978
openaire   +1 more source

Logic as a Description of a Logical Agent

2003
Dov M. Gabbay, John Woods
openaire   +2 more sources

Description Logics and Feature Interaction

1999
Areces, C., Bouma, W., de Rijke, M.
openaire   +4 more sources