Sciweavers

9145 search results - page 44 / 1829
» Description Logic Systems
Sort
View
RULEML
2004
Springer
15 years 5 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
DLOG
2007
15 years 2 months ago
DLMedia: an Ontology Mediated Multimedia Information Retrieval System
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
Umberto Straccia, Giulio Visco
ISMVL
2010
IEEE
221views Hardware» more  ISMVL 2010»
15 years 5 months ago
An Ontology Mediated Multimedia Information Retrieval System
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
Umberto Straccia
95
Voted
IJCAI
2003
15 years 1 months ago
Keys, Nominals, and Concrete Domains
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike ...
KSEM
2007
Springer
15 years 6 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund