OWL 2 Functional Style operators from HOL point of view (original) (raw)
Related papers
Structural Specification and Functional-Style Syntax
2008
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL
2012
OWL 2 web ontology language: Structural specification and functional-style syntax
W3C …, 2009
Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax
Arxiv preprint arXiv:0811.4367, 2008
The HOL Logic Extended with Quantification over Type Variables
Towards a nonmonotonic extension to OWL
Proceedings of Workshop on OWL Experiences and …, 2005
Description logics: OWL and DAML+ OIL
2005
The F-logic approach for description languages
Annals of Mathematics and Artificial Intelligence, 1995
OWL: Experiences and …, 2006
InfixOWL: An Idiomatic Interface for OWL
2008
OWL 2 Web Ontology Language Direct Semantics
2008
Proceeding of the 17th international conference on World Wide Web - WWW '08, 2008
HermiT: A highly-efficient OWL reasoner
2008
Recent Advances in Integrating OWL and Rules (Technical Communication)
Lecture Notes in Computer Science, 2012
Paraconsistent reasoning with OWL���algorithms and the ParOWL reasoner
2006
Efficient OWL reasoning with logic programs–evaluations
2007
ELP: Tractable rules for OWL 2
The Semantic Web-ISWC 2008, 2008
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications, 2012
Operational Semantics for Functional Logic Languages
Electronic Notes in Theoretical Computer Science, 2002
Tractable extensions of the description logic EL with numerical datatypes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010
Extending DL Reasoning Support for the OWL Datatyping (or “Why Datatype Groups?”)
2004
OWL-E: Extending OWL with expressive datatype expressions
2004
Laconic and precise justifications in OWL
The Semantic Web-ISWC 2008, 2008
DeLorean: A reasoner for fuzzy OWL 1.1
2008
Description Logics—Basics, Applications, and More
2002
A Survey of Current, Stand-alone OWL Reasoners
2015
Reasoning in Expressive Description Logics
Handbook of Automated …, 2001
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language
Lecture Notes in Computer Science, 2010
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Lecture Notes in Computer Science, 2002
On the Web Ontology Rule Language OWL 2 RL
Lecture Notes in Computer Science, 2011