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 × Canada
1 × Italy
1 × Poland
1 × United Kingdom
2 × USA
Collaborated with:
U.Sattler M.Horridge B.C.Grau E.Sirin P.Klinov T.Schneider S.Bail R.S.Gonçalves E.Ruckhaus V.Kolovski A.Kalyanpur
Talks about:
ontolog (6) logic (3) owl (3) modular (2) justif (2) probabilist (1) categoris (1) structur (1) descript (1) approach (1)

Person: Bijan Parsia

DBLP DBLP: Parsia:Bijan

Facilitated 3 volumes:

SLE 2012PrCo
SLE 2011PrCo
SLE 2010PrCo

Contributed to:

CIKM 20132013
KR 20122012
CADE 20112011
CIKM 20112011
KR 20102010
ICLP 20062006
KR 20062006

Wrote 9 papers:

CIKM-2013-BailPS #logic #ontology #owl
The logical diversity of explanations in OWL ontologies (SB, BP, US), pp. 559–568.
KR-2012-HorridgePS #ontology
Justification Masking in Ontologies (MH, BP, US).
CADE-2011-KlinovP #hybrid #probability #satisfiability
A Hybrid Method for Probabilistic Satisfiability (PK, BP), pp. 354–368.
CIKM-2011-GoncalvesPS #categorisation #difference #logic #ontology #owl
Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
KR-2010-HorridgeP #ontology #proving #towards
From Justifications Towards Proofs for Ontology Engineering (MH, BP).
KR-2010-ParsiaS #composition #empirical #ontology
The Modular Structure of an Ontology: An Empirical Study (BP, TS).
ICLP-2006-RuckhausKPG #approach #datalog #owl
Integrating Datalog with OWL: Exploring the AL-log Approach (ER, VK, BP, BCG), pp. 455–456.
KR-2006-GrauPSK #composition #ontology #web
Modularity and Web Ontologies (BCG, BP, ES, AK), pp. 198–209.
KR-2006-SirinGP #logic #optimisation #reasoning
From Wine to Water: Optimizing Description Logic Reasoning for Nominals (ES, BCG, BP), pp. 90–99.

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.