Sciweavers

499 search results - page 25 / 100
» Real-World Reasoning with OWL
Sort
View
WWW
2005
ACM
16 years 17 days ago
Debugging OWL ontologies
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
Bijan Parsia, Evren Sirin, Aditya Kalyanpur
DLOG
2007
15 years 2 months ago
The Minimal Finite Model Visualization as an Ontology Debugging Tool
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
Martins Barinskis, Guntis Barzdins
KR
2010
Springer
15 years 4 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph
SEMWEB
2007
Springer
15 years 6 months ago
History Matters: Incremental Ontology Reasoning Using Modules
The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between diffe...
Bernardo Cuenca Grau, Christian Halaschek-Wiener, ...
OWLED
2007
15 years 1 months ago
SPARQL-DL: SPARQL Query for OWL-DL
There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, S...
Evren Sirin, Bijan Parsia