Sciweavers

875 search results - page 10 / 175
» Syndication on the Web using a description logic approach
Sort
View
LICS
2005
IEEE
15 years 5 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
ICFCA
2010
Springer
15 years 6 months ago
An Approach to Exploring Description Logic Knowledge Bases
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
Felix Distel
CORR
2010
Springer
151views Education» more  CORR 2010»
14 years 11 months ago
Fuzzy Ontology Representation using OWL 2
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
Fernando Bobillo, Umberto Straccia
DLOG
2003
15 years 26 days ago
Status Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Shinyoung Lim
AIM
2005
14 years 11 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil