Sciweavers

2521 search results - page 440 / 505
» Semantic Component Composition
Sort
View
DLOG
2006
13 years 11 months ago
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
Vladimir Kolovski, Bijan Parsia, Evren Sirin
IASTEDSE
2004
13 years 11 months ago
Service specification with MSCs and roles
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
Ingolf H. Krüger
KRMED
2004
13 years 11 months ago
Axioms for parthood and containment relations in bio-ontologies
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
Thomas Bittner
FLAIRS
2003
13 years 11 months ago
Automated Data Fusion and Situation Assessment in Space Systems
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
Mark L. Hanson, Paul G. Gonsalves
WSPI
2004
13 years 11 months ago
Self-Referencing Languages Revisited
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
Gábor Rédey, Attila Neumann