Sciweavers

367 search results - page 16 / 74
» Hybrid Logics and Ontology Languages
Sort
View
IJSWIS
2007
87views more  IJSWIS 2007»
13 years 8 months ago
An Ontology-Based Data Mediation Framework for Semantic Environments
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
Adrian Mocan, Emilia Cimpian
LANMR
2004
13 years 10 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
SEMWEB
2007
Springer
14 years 2 months ago
Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
Frank Kaufer, Matthias Klusch
HYBRID
2004
Springer
14 years 2 months ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
IJCAI
2001
13 years 10 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