342 search results - page 36 / 69 » Tableau Algorithms for Description Logics |
IJCAI
1989
13 years 9 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
CAV
1998
Springer
14 years 28 days ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
DLOG
2003
13 years 10 months ago
2003
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...
ER
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
ASIAN
1998
Springer
14 years 28 days ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...