342 search results - page 29 / 69 » Tableau Algorithms for Description Logics |
113
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
90
Voted
ER
2006
Springer
15 years 4 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
98
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
131
click to vote
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
KI
2002
Springer
15 years 3 days ago
2002
Springer
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...