Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success! (bibtex)
by Christoph Benzmüller, Marco Ziener
Reference:
Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success! (Christoph Benzmüller, Marco Ziener), In The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013) (Michael Fink, Martin Homola, Alessandra Mileo, Ivan Jose Varzinczak, eds.), 2013.
Bibtex Entry:
@inproceedings{W49,
  Address =	 {Corunna, Spain},
  Author =	 {Christoph Benzm{\"u}ller and Marco Ziener},
  Booktitle =	 {The 5th International Workshop on Acquisition,
                  Representation and Reasoning with Contextualized
                  Knowledge (ARCOE-LogIC 2013)},
  Editor =	 {Michael Fink and Martin Homola and Alessandra Mileo
                  and Ivan Jose Varzinczak},
  Keywords =	 {own, Automated Reasoning, Ontology Reasoning, LEO Prover,
                  Higher Order Logic},
  Title =	 {Automated Consistency Checking of Expressive
                  Ontologies --- Beware of the Wrong Interpretation of
                  Success!},
  Url =		 {http://christoph-benzmueller.de/papers/W49.pdf},
  Year =	 2013,
}
Powered by bibtexbrowser