BibSonomy
::
user
::
marciomr
::
tag
user
group
author
concept
BibTeX key
search:all
search:marciomr
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Benchmarking DL Reasoners Using Realistic Ontologies
Zhengxiang
Pan
Proceedings of the OWL: Experiences and Directions Workshop. Galway,
(
2005
)
to
benchmark
impresso
DLs
by
marciomr
and
1 other person
on Feb 20, 2008, 3:42 AM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
benchmark
as tag from all users
benchmark
as concept from marciomr
benchmark
as concept from all users
related tags
+
DLs
+
impresso
relations
tags
AI
ATMS
Chaff
DLs
KR
OWL
OWL-S
OWL_API
RACER
SAT
SHIQ
SHOQ
TMS
algorithm
base_revision
belief_revision
benchmark
category
checking
cognitive
computability
computation
concurrence
debugging
diagnosis
enviroment
evolution
hybrid_systems
impresso
incision
inconsistency
jena
knowledge
level
logic
logics
minimal_change
model
negation
ontology
planning
probability
proceedings
progams
relevance
representation
responsive
selection
semantic-web
semantic_web
semantics
semi_revision
set
solver
symbol
symbols
tableau
theory
uncertainty
universal_algebra
update
web-services