Sciweavers

267 search results - page 5 / 54
» Evolution of DL - Lite Knowledge Bases
Sort
View
JAIR
2007
146views more  JAIR 2007»
14 years 11 months ago
Reasoning with Very Expressive Fuzzy Description Logics
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, V...
JCDL
2003
ACM
81views Education» more  JCDL 2003»
15 years 5 months ago
The XML Log Standard for Digital Libraries: Analysis, Evolution, and Deployment
We describe current efforts and developments building on our proposal for an XML log standard format for digital library (DL) logging analysis and companion tools. Focus is given ...
Marcos André Gonçalves, Ganesh Panch...
CADE
2008
Springer
15 years 12 months ago
Automata-Based Axiom Pinpointing
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
Franz Baader, Rafael Peñaloza
TABLEAUX
2007
Springer
15 years 5 months ago
Axiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
Franz Baader, Rafael Peñaloza
ICVS
2003
Springer
15 years 4 months ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
Bernd Neumann, Thomas Weiss