Download:
by Luciano Serafini, Andrei Tamilin
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/12Serafini-final.pdf
Add To MetaCart
Abstract:
Local tableaux for reasoning in distributed description logics ∗
Citations
|
233
|
From SHIQ and RDF to OWL: The making of a web ontology language
– Horrocks, Patel-Schneider, et al.
|
|
163
|
Multilanguage hierarchical logics (or: How we can do without modal logics
– Giunchiglia, Serafini
- 1994
|
|
155
|
Local Models Semantics, or Contextual Reasoning
– Ghidini, Giunchiglia
- 2001
|
|
97
|
C-OWL: Contextualizing ontologies
– Bouquet, Giunchiglia, et al.
- 2003
|
|
83
|
Practical reasoning for very expressive description logics
– Horrocks, Sattler, et al.
|
|
63
|
Contextual reasoning
– Giunchiglia
- 1993
|
|
55
|
Distributed first order logics
– Ghidini, Serafini
- 1998
|
|
53
|
Enabling distributed knowledge management: managerial and technological implications
– Bonifacio, Bouquet, et al.
|
|
32
|
Harmelen, Web Ontology Language: OWL
– Antoniou, van
|
|
21
|
system description
– Racer
|
|
6
|
Satisfiability for propositional contexts
– Serafini, Roelofsen
- 2004
|
|
3
|
A.Tamilin. Distributed reasoning services for multiple ontologies
– Serafini
- 2004
|
|
2
|
description logics: Assimilating information from peer sources
– Distributed
- 2003
|
|
2
|
H.Stuckenschmidt. A metadata model for semantics-based p2p systems
– Ehrig, Broekstra, et al.
- 2003
|
