Sciweavers

2381 search results - page 18 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
JNCA
2007
87views more  JNCA 2007»
14 years 11 months ago
Representing and analysing composed web services using Cress
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
Kenneth J. Turner
DLOG
2004
15 years 1 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
AISC
1998
Springer
15 years 4 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
Ian Horrocks, Peter F. Patel-Schneider
ER
2007
Springer
89views Database» more  ER 2007»
15 years 6 months ago
On Order Dependencies for the Semantic Web
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...
David Toman, Grant E. Weddell
CADE
1999
Springer
15 years 4 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...