Sciweavers

314 search results - page 18 / 63
» A Calculus and logic of resources and processes
Sort
View
IJCAI
2001
15 years 7 months ago
Ontology Reasoning in the SHOQ(D) Description Logic
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
Ian Horrocks, Ulrike Sattler
OTM
2007
Springer
16 years 6 days ago
Parallelizing Tableaux-Based Description Logic Reasoning
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
Thorsten Liebig, Felix Müller
ACL
1997
15 years 7 months ago
Maximal Incrementality in Linear Categorial Deduction
Recent work has seen the emergence of a common framework for parsing categorial grammar (CG) formalisms that fall within the 'type-logical' tradition (such as the Lambek...
Mark Hepple
CAISE
2004
Springer
15 years 11 months ago
Network-based Business Process Management: a Discussion on Embedding Business Logic in Communications Networks
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
Louis-François Pau, Peter H. M. Vervest
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 6 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley