BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × Spain
2 × Canada
2 × Italy
2 × USA
Collaborated with:
V.Haarslev S.Wandelt A.Turhan M.Wessel C.Lutz
Talks about:
descript (5) reason (5) logic (4) box (3) ontolog (2) express (2) system (2) orient (2) object (2) role (2)

♂ Person: Ralf Möller

DBLP DBLP: M=ouml=ller:Ralf

Facilitated 3 volumes:

SLE 2012PrCo
SLE 2011PrCo
SLE 2010PrCo

Contributed to:

KEOD 20122012
KEOD 20092009
ILC 20072007
KR 20042004
IJCAR 20012001
KR 20002000
KR 19981998
OOPSLA 19961996
OOPSLA 19901990

Wrote 11 papers:

KEOD-2012-WandeltM #ontology #semantics #summary #towards
Towards Semantic Summaries over Ontologies (SW, RM), pp. 196–201.
KEOD-2009-WandeltM #reasoning
Updatable Island Reasoning for Alchi-ontologies (SW, RM), pp. 48–55.
ILC-2007-Moller #lisp #owl
Building a commercial OWL reasoner with Lisp (RM), p. 5.
KR-2004-HaarslevM #documentation #optimisation #owl #rdf
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
RACER System Description (VH, RM), pp. 701–706.
IJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
IJCAR-2001-HaarslevMW #approach #logic #motivation
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
KR-2000-HaarslevM #reasoning #strict #transitive
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
KR-1998-HaarslevLM #logic #reasoning
Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
OOPSLA-1996-Moller #functional #information management #logic #object-oriented #representation
A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing (RM), pp. 198–213.
OOPSLA-ECOOP-1990-HaarslevM #framework #object-oriented #visualisation
A Framework for Visualizing Object-Oriented Systems (VH, RM), pp. 237–244.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.