Sciweavers

9145 search results - page 45 / 1829
» Description Logic Systems
Sort
View
111
Voted
ML
2006
ACM
143views Machine Learning» more  ML 2006»
15 years 13 days ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton
109
Voted
AMAI
2000
Springer
15 years 10 days ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
CAEPIA
2003
Springer
15 years 4 months ago
Embracing Causality in Inducing the Effects of Actions
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
Ramón P. Otero
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
15 years 4 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel
104
Voted
AAAI
2008
15 years 2 months ago
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...