Sciweavers

126 search results - page 12 / 26
» Euclidian Roles in Description Logics
Sort
View
ML
2010
ACM
175views Machine Learning» more  ML 2010»
13 years 2 months ago
Concept learning in description logics using refinement operators
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
Jens Lehmann, Pascal Hitzler
JAIR
1998
163views more  JAIR 1998»
13 years 7 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
IANDC
2008
122views more  IANDC 2008»
13 years 7 months ago
Automata can show PSpace results for description logics
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
Franz Baader, Jan Hladik, Rafael Peñaloza
EKAW
2008
Springer
13 years 9 months ago
On the Influence of Description Logics Ontologies on Conceptual Similarity
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
Claudia d'Amato, Steffen Staab, Nicola Fanizzi
AAAI
2007
13 years 9 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz