0000000000676215

AUTHOR

Aditya Kalyanpur

showing 2 related works from this author

Pellet: A Practical OWL-DL Reasoner

2007

In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.

JavaComputer scienceProgramming languagemedia_common.quotation_subjectWeb Ontology LanguageSemantic reasonercomputer.software_genreOperator (computer programming)Description logicDebuggingMiddleware (distributed applications)Conjunctive querycomputermedia_commoncomputer.programming_languageSSRN Electronic Journal
researchProduct

Swoop: A Web Ontology Editing Browser

2006

In this paper, we describe Swoop, a hypermedia inspired Ontology Browser and Editor based on OWL, the recently standardized Web-oriented ontology language. After discussing the design rationale and architecture of Swoop, we focus mainly on its features, using illustrative examples to highlight its use. We demonstrate that with its web-metaphor, adherence to OWL recommendations and key unique features such as Collaborative Annotation using Annotea, Swoop acts as a useful and efficient web ontology development tool. We conclude with a list of future plans for Swoop, that should further increase its overall appeal and accessibility.

World Wide WebAnnotationDesign rationaleComputer sciencelawKey (cryptography)AnnoteaHypermediaArchitectureOntology (information science)Ontology languagelaw.inventionSSRN Electronic Journal
researchProduct