Παρακολούθηση
Volker Haarslev
Volker Haarslev
Professor of Computer Science, Concordia University, Montreal, Canada
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cse.concordia.ca - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
RACER system description
V Haarslev, R Möller
Automated Reasoning, 701-705, 2001
15032001
Description of the RACER System and its Applications.
V Haarslev, R Möller
Description Logics 49, 2001
4632001
Racer: A Core Inference Engine for the Semantic Web.
V Haarslev, R Möller
EON 87, 2003
4412003
The RacerPro knowledge representation and reasoning system
V Haarslev, K Hidde, R Möller, M Wessel
Semantic Web 3 (3), 267-277, 2012
2262012
Querying the semantic web with Racer+ nRQL
V Haarslev, R Möller, M Wessel
Proceedings of the KI-2004 International Workshop on Applications of …, 2004
2202004
High performance reasoning with very large knowledge bases: A practical case study
V Haarslev, R Möller
International Joint Conference on Artificial Intelligence 17 (1), 161-168, 2001
2002001
Racer: An owl reasoning agent for the semantic web
V Haarslev, R Möller
Proceedings of the International Workshop on Applications, Products and …, 2003
1712003
RACER Users's Guide and Reference Manual
V Haarslev, R Möller
159*2000
A description logic with concrete domains and a role-forming predicate operator
V Haarslev, C Lutz, R Möller
Journal of Logic and Computation 9 (3), 351-384, 1999
1401999
Foundations of spatioterminological reasoning with description logics
V Haarslev, C Lutz, R Möller
KR 98, 112-123, 1998
1301998
Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles
V Haarslev, R Möller
1092000
Ontological approach for the semantic recovery of traceability links between software artefacts
Y Zhang, R Witte, J Rilling, V Haarslev
IET software 2 (3), 185-203, 2008
882008
Exploiting pseudo models for TBox and ABox reasoning in expressive description logics
V Haarslev, R Möller, AY Turhan
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
752001
Consistency testing: The RACE experience
V Haarslev, R Möller
International Conference on Automated Reasoning with Analytic Tableaux and …, 2000
712000
On the scalability of description logic instance retrieval
V Haarslev, R Möller
Journal of Automated Reasoning 41 (2), 99-142, 2008
662008
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
V Haarslev, R Möller
KR, 163-174, 2004
652004
An ontology-based approach for traceability recovery
Y Zhang, R Witte, J Rilling, V Haarslev
3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies …, 2006
642006
Formal semantics of visual languages using spatial reasoning
V Haarslev
Proceedings of Symposium on Visual Languages, 156-163, 1995
591995
Description logic systems
R Möller, V Haarslev
The Description Logic Handbook: Theory, Implementation, and Applications …, 2003
582003
Semantics-based information retrieval
R Möller, V Haarslev, B Neumann
na, 1998
581998
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20